del Vado Vírseda, Rafael ;
Pérez Morente, Fernando ;
García Toledo, Marcos Miguel
A Concurrent Operational Semantics for Constraint Functional Logic Programming
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.
BibTeX - Entry
@InProceedings{delvadovrseda_et_al:LIPIcs:2012:3618,
author = {Rafael del Vado V{\'i}rseda and Fernando P{\'e}rez Morente and Marcos Miguel Garc{\'i}a Toledo},
title = {{A Concurrent Operational Semantics for Constraint Functional Logic Programming}},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
pages = {154--163},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-43-9},
ISSN = {1868-8969},
year = {2012},
volume = {17},
editor = {Agostino Dovier and V{\'i}tor Santos Costa},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3618},
URN = {urn:nbn:de:0030-drops-36185},
doi = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.154},
annote = {Keywords: Constraint logic programming, concurrent logic programming, functional logic programming.}
}
|
Keywords: |
|
Constraint logic programming, concurrent logic programming, functional logic programming. |
|
Seminar: |
|
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
|
|
Issue date: |
|
2012 |
|
Date of publication: |
|
2012 |
