Observable Confluence for Constraint Handling Rules

DOI10.1007/978-3-540-74610-2_16zbMATH Open1213.68161OpenAlexW1513409503MaRDI QIDQ3608657FDOQ3608657

Authors: Gregory Duck, Peter J. Stuckey, Martin Sulzmann 

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_16

Recommendations

• Diagrammatic confluence for constraint handling rules
• Confluence modulo equivalence in Constraint Handling Rules
• On proving confluence modulo equivalence for Constraint Handling Rules
• Theory and practice of constraint handling rules
• A compositional semantics for CHR

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Cited In (11)

• Local Confluence for Rules with Nested Application Conditions
• Confluence Modulo Equivalence in Constraint Handling Rules
• A Formal Semantics for the Cognitive Architecture ACT-R
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Transactions in Constraint Handling Rules
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Models and emerging trends of concurrent constraint programming
• Observational equivalences for linear logic concurrent constraint languages
• On proving confluence modulo equivalence for Constraint Handling Rules
• Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
• Constraint handling rules with binders, patterns and generic quantification

This page was built for publication: Observable Confluence for Constraint Handling Rules

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