A New Method for Program Inversion
No abstract available.
Related papers
- Unscanning by Möbius Inversion (Functional Pearl) ICFP 2026
- Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) POPL 1996
- Finite Differencing of Computable Expressions TOPLAS 1982
- Formally Verified Montgomery Multiplication CAV 2018
- Semi-inversion of Guarded Equations GPCE 2005
- Program Transformation with Metasystem Transitions JFP 1993
- Principles of Inverse Computation in a Functional Language APLAS 2000
- Transactional boosting: a methodology for highly-concurrent transactional objects PPoPP 2008