A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
Abstract elided by the publisher.
Related papers
- Equivalence in Functional Languages with Effects JFP 1991
- Polyhedral AST Generation Is More Than Scanning Polyhedra TOPLAS 2015
- Type Representation of Objects by Functions TOPLAS 1989
- Transport via Partial Galois Connections and Equivalences APLAS 2023
- Proof Repair across Quotient Type Equivalences OOPSLA 2025
- The Semantics of Plurals SLE 2022
- Slicing as a program transformation TOPLAS 2007
- A Mathematical Approach to Nondeterminism in Data Types TOPLAS 1988