A confluent semantic basis for the analysis of concurrent constraint logic programs

DOI10.1016/S0743-1066(96)00013-1MaRDI QIDQ4364205zbMATH OpenFDO

Authors Michael Codish, Kim Marriott, William Winsborough, M. Falaschi

Publication date 17 March 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(96)00013-1

zbMATH Keywords

concurrent constraint logic languages

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Efficient analysis of concurrent constraint logic programs
• A confluent calculus for concurrent constraint programming
• Confluence in concurrent constraint programming
• Confluence in concurrent constraint programming
• scientific article; zbMATH DE number 1332633

Cited in

(15)

• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
• A confluent calculus for concurrent constraint programming
• Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking
• scientific article; zbMATH DE number 1332633 (Why is no real title available?)
• scientific article; zbMATH DE number 1113818 (Why is no real title available?)
• Abstract interpretation of temporal concurrent constraint programs
• Towards Context-Based Concurrent Formal Theories
• Efficient analysis of concurrent constraint logic programs
• Uniform confluence in concurrent computation
• scientific article; zbMATH DE number 1406236 (Why is no real title available?)
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Confluence in concurrent constraint programming
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)
• Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs

This page was built for publication: A confluent semantic basis for the analysis of concurrent constraint logic programs

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