An Automatic Program Inverter for Lisp: Potential and Limitations
No abstract available.
Related papers
- Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful ICFP 2009
- Invertible syntax descriptions: unifying parsing and pretty printing Haskell 2010
- Automatic program inversion using symbolic transducers PLDI 2017
- A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp TOPLAS 1989
- Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs TACAS 2025
- Automatic Transformation of Series Expressions into Loops TOPLAS 1991
- FliPpr: A Prettier Invertible Printing System ESOP 2013
- Invertible Linear Transforms of Numerical Abstract Domains SAS 2018