LIPIcs.ICLP.2012.154.pdf
- Filesize: 0.59 MB
- 10 pages
Document
A Concurrent Operational Semantics for Constraint Functional Logic Programming
Authors
-
Part of:
Volume:
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution-NoDerivs 3.0 Unported license
- Publication Date: 2012-09-05
Cite AsGet BibTex
Rafael del Vado Vírseda, Fernando Pérez Morente, and Marcos Miguel García Toledo. A Concurrent Operational Semantics for Constraint Functional Logic Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 154-163, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.ICLP.2012.154
https://doi.org/10.4230/LIPIcs.ICLP.2012.154
Abstract
In this paper we describe a sound and complete concurrent operational semantics for constraint functional logic programming languages which allows to model declarative applications in which the interaction between demand-driven narrowing and constraint solving helps to prune the search space, leading to shorter goal derivations. We encode concurrency into the generic CFLP(D) scheme, a uniform foundation for the operational semantics of constraint functional logic programming systems parameterized by a constraint solver over the given domain D. In this concurrent version of the CFLP(D) scheme, goal solving processes can be executed concurrently and cooperate together to perform their specific tasks via demand-driven narrowing and declarative residuation guided by constrained definitional trees, constraint solving, and communication by synchronization on logical variables.
Keywords
- Constraint logic programming
- concurrent logic programming
- functional logic programming.
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads