Automatic Abstraction for Congruences
Abstract elided by the publisher.
Related papers
- Programming up to Congruence POPL 2015
- Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) SAS 1997
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Generalized Boxings, Congruences and Partial Inlining SAS 1994
- Inferring Congruence Equations Using SAT CAV 2008
- Congruence Closure with Free Variables TACAS 2017
- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes TACAS 1999
- Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers APLAS 2024