Revisiting an automatic program inverter for Lisp
- 1 May 2005
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (5), 8-17
- https://doi.org/10.1145/1071221.1071222
Abstract
We reformulate the Korf-Eppstein method for automatic inversion of first-order functional programs using a structural operational semantics and compare it with the program in-version method described by Cries. We analyze the method and suggest possible extensions. The method is noteworthy in that it was used to construct the first automatic program inverter described in the literature. The key features of the Korf-Eppstein method are the simultaneous inversion of an injective system of functions, an equation-oriented transformation, and the use of postcondition inference heuristics.This publication has 9 references indexed in Scilit:
- A programmable editor for developing structured documents based on bidirectional transformationsPublished by Association for Computing Machinery (ACM) ,2004
- Transforming interpreters into inverse interpreters by partial evaluationPublished by Association for Computing Machinery (ACM) ,2003
- Reverse execution of programsACM SIGPLAN Notices, 1999
- Inversion of a recursive tree traversalInformation Processing Letters, 1991
- Program inversion: More than fun!Science of Computer Programming, 1990
- Generating reversible programsSoftware: Practice and Experience, 1987
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- Logical Reversibility of ComputationIBM Journal of Research and Development, 1973
- Nondeterministic AlgorithmsJournal of the ACM, 1967