Search Results

Documents authored by García Toledo, Marcos Miguel


Document
A Concurrent Operational Semantics for Constraint Functional Logic Programming

Authors: Rafael del Vado Vírseda, Fernando Pérez Morente, and Marcos Miguel García Toledo

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


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.

Cite as

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)


Copy BibTex To Clipboard

@InProceedings{delvadovirseda_et_al:LIPIcs.ICLP.2012.154,
  author =	{del Vado V{\'\i}rseda, Rafael and P\'{e}rez Morente, Fernando and Garc{\'\i}a Toledo, Marcos Miguel},
  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 =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154},
  URN =		{urn:nbn:de:0030-drops-36185},
  doi =		{10.4230/LIPIcs.ICLP.2012.154},
  annote =	{Keywords: Constraint logic programming, concurrent logic programming, functional logic programming.}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail