A concurrent operational semantics for constraint functional logic programming

DOI10.4230/LIPICS.ICLP.2012.154MaRDI QIDQ5398055zbMATH OpenFDO

Authors R. del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPICS.ICLP.2012.154

zbMATH Keywords

concurrent logic programmingconstraint logic programmingfunctional logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Constraint functional logic programming revisited
• Frontiers of Combining Systems
• A new generic scheme for functional logic programming with constraints
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme

Cited in

(9)

• Operational semantics for declarative multi-paradigm languages
• An operational semantics for declarative multi-paradigm languages
• Constraint functional logic programming revisited
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 1113818 (Why is no real title available?)
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Frontiers of Combining Systems
• A new generic scheme for functional logic programming with constraints
• A functorial framework for constraint normal logic programming

This page was built for publication: A concurrent operational semantics for constraint functional logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398055)