A Grammar-Based Approach to Invertible Programs
No abstract available.
Related papers
- Efficient Algorithms for Structural Similarity of Grammars POPL 1980
- FliPpr: A Prettier Invertible Printing System ESOP 2013
- Invertible Linear Transforms of Numerical Abstract Domains SAS 2018
- An Automatic Program Inverter for Lisp: Potential and Limitations APLAS 2002
- A Program Inverter for a Functional Language with Equality and Constructors APLAS 2003
- Reconciling Partial and Local Invertibility ESOP 2024
- On the Decision Problems of Program Schemas with Commutative and Invertable Functions POPL 1973
- Sparcl: a language for partially-invertible computation ICFP 2020