Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
Understanding functional dependencies via constraint handling rules
Journal of Functional Programming
Transactions in Constraint Handling Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Theory and Practice of Logic Programming
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Hi-index | 0.00 |
Constraint Handling Rules (CHR) are a powerful rule based language for specifying constraint solvers. Critical for any rule based language is the notion of confluence, and for terminating CHR programs there is a decidable test for confluence. But many CHR programs that are in practice confluent fail this confluence test. The problem is that the states that illustrate non-confluence are not observable from the initial goals of interest. In this paper we introduce the notion of observable confluence, a more general notion of confluence which takes into account whether states are observable. We devise a test for observable confluence which allows us to verify observable confluence for a range of CHR programs dealing with agents, type systems, and the union-find algorithm.