Observable Confluence for Constraint Handling Rules

DOI10.1007/978-3-540-74610-2_16MaRDI QIDQ3608657zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(13)

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

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)