Calculating-Confluence Compositionally
Abstract elided by the publisher.
Related papers
- State Space Reduction by Proving Confluence CAV 2002
- Confluence Reduction for Probabilistic Systems TACAS 2011
- Confluence of Graph Rewriting with Interfaces ESOP 2017
- Confluence Competition 2019 TACAS 2019
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence ICFP 1997
- Confluences in programming languages research (keynote) POPL 2016
- A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL CPP 2019
- Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems CPP 2025