Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Confluence of conditional rewrite systems
1st international workshop on Conditional Term Rewriting Systems
Complete Sets of Reductions for Some Equational Theories
Journal of the ACM (JACM)
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Termination and Confluence of Higher-Order Rewrite Systems
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Proceedings of the International Workshop on Graph Transformations in Computer Science
An Algebra of Graphs and Graph Rewriting
Proceedings of the 4th International Conference on Category Theory and Computer Science
Abstract canonical presentations
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
ACM Transactions on Computational Logic (TOCL)
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Hi-index | 0.00 |
In a seminal paper, Huet introduced abstract properties of term rewriting systems, and the confluence analysis of terminating term rewriting systems by critical pairs computation. In this paper, we provide an abstract notion of critical pair for arbitrary binary relations and context operators. We show how this notion applies to the confluence analysis of various transition systems, ranging from classical term rewriting systems to production rules with constraints and partial control strategies, such as the Constraint Handling Rules language CHR. Interestingly, we show in all these cases that some classical critical pairs can be disregarded. The crux of these analyses is the ability to compute critical pairs between states built with general context operators, on which a bounded, not necessarily well-founded, ordering is assumed.