POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Confluence of conditional rewrite systems
1st international workshop on Conditional Term Rewriting Systems
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structural operational semantics for AKL
Future Generation Computer Systems - Special issue: PARLE 91
Concurrent constraint programming
Concurrent constraint programming
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational reasoning and term rewriting systems
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Boolean constraint solving using CLP(FD)
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Contraint Logic Programming - An Informal Introduction
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Confluence in Concurrent Constraint Programming
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Projection in Adaptive Constraint Handling
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Modular Approach to Proving Confluence
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Towards Inductive Constraint Solving
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Using confluence to generate rule-based constraint solvers
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Transactions in Constraint Handling Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Welcome to Constraint Handling Rules
Constraint Handling Rules
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
A unified semantics for constraint handling rules in transaction logic
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Chr(prism)-based probabilistic logic learning
Theory and Practice of Logic Programming
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming
Specialization of concurrent guarded multi-set transformation rules
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Complete propagation rules for lexicographic order constraints over arbitrary domains
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL)
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Hi-index | 0.00 |
ConstraintSimplification Rules (CSR) is a subset of the Constraint HandlingRules (CHR) language. CHR is a powerful special-purpose declarativeprogramming language for writing constraint solvers. The CSRsubset of CHR forms essentially a committed-choice language consistingof guarded rules with multiple heads that replace constraintsby simpler ones until they are solved. This paper gives declarativeand operational semantics as well as soundness and completenessresults for CSR programs. We also introducea notion of confluence for CSR programs. Confluence is an essentialsyntactical property of any constraint solver. It ensures thatthe solver will always compute the same result for a given setof constraints independent of which rules are applied. It alsomeans that it does not matter for the result in which order theconstraints arrive at the constraint solver. We give a decidable, sufficient and necessary syntactic conditionfor confluence of terminating CSR programs. Moreover, as shownin this paper, confluence of a program implies consistency ofits logical meaning (under a mild restriction).