Efficient analysis of concurrent constraint logic programs

DOI10.1007/3-540-56939-1_108MaRDI QIDQ4630298zbMATH OpenOpenAlexFDO

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

Publication date 29 March 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56939-1_108

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A confluent semantic basis for the analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 1497827
• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 1113818
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Conclog: a methodological approach to concurrent logic programming
• scientific article; zbMATH DE number 1406236
• scientific article; zbMATH DE number 1223634

Cites work

• Closures and fairness in the semantics of programming logic
• Deadlock absence proofs for networks of communicating processes
• Deadlock analysis in networks of communicating processes
• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 3958698 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)

Cited in

(10)

• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
• Confluence in concurrent constraint programming
• A confluent calculus for concurrent constraint programming
• scientific article; zbMATH DE number 1332633 (Why is no real title available?)
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 1406236 (Why is no real title available?)
• Demand transformation analysis for concurrent constraint programs
• Confluence in concurrent constraint programming
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)

This page was built for publication: Efficient 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 Q4630298)