Confluence and semantics of constraint simplification rules

DOI10.1023/A:1009842826135MaRDI QIDQ1300291zbMATH OpenFDO

Authors Slim Abdennadher, Thom Frühwirth, Holger Meuss

Publication date 7 September 1999

Published in Constraints (Search for Journal in Brave)

zbMATH Keywords

constraint handling rulesconstraint simplification rules

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Theory and practice of constraint handling rules
• A compositional semantics for CHR
• Confluence modulo equivalence in Constraint Handling Rules
• Constraints meet concurrency

Cited in

(15)

• Concurrent goal-based execution of constraint handling rules
• Welcome to Constraint Handling Rules
• On termination, confluence and consistent CHR-based type inference
• As time goes by: constraint handling rules
• Diagrammatic confluence for constraint handling rules
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• A complete and terminating execution model for constraint handling rules
• Logic Based Program Synthesis and Transformation
• Transactions in Constraint Handling Rules
• Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
• scientific article; zbMATH DE number 1946846 (Why is no real title available?)
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• On proving confluence modulo equivalence for Constraint Handling Rules
• CHR(PRISM)-based probabilistic logic learning

This page was built for publication: Confluence and semantics of constraint simplification rules

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