Closures and Modules Within Linear Logic Concurrent Constraint Programming

DOI10.1007/978-3-540-77050-3_45MaRDI QIDQ5458864zbMATH OpenOpenAlexFDO

Authors Rémy Haemmerlé, François Fages, Sylvain Soliman

Publication date 24 April 2008

Published in FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77050-3_45

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Linear concurrent constraint programming: Operational and phase semantics
• Observational equivalences for linear logic concurrent constraint languages
• scientific article; zbMATH DE number 1113818
• Distributed concurrent linear logic programming
• On concurrent behaviors and focusing in linear logic

Cites work

• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 867332 (Why is no real title available?)
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• A Proof-Theoretic Approach to Logic Programming
• A modular module system
• Linear concurrent constraint programming: Operational and phase semantics
• Logic programming in a fragment of intuitionistic linear logic
• Logic programming in the context of multiparadigm programming: the Oz experience
• Modules for Prolog Revisited
• Theory and practice of constraint handling rules

Cited in

(5)

• Dynamic spaces in concurrent constraint programming
• Capsules and closures
• Subexponential concurrent constraint programming
• Models and emerging trends of concurrent constraint programming
• Abstract interpretation of temporal concurrent constraint programs

This page was built for publication: Closures and Modules Within Linear Logic Concurrent Constraint Programming

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