License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.154
URN: urn:nbn:de:0030-drops-36185
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3618/
Go to the corresponding Portal


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

A Concurrent Operational Semantics for Constraint Functional Logic Programming

pdf-format:
Document 1.pdf (614 KB)


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: 27.07.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI