Generating reversible programs
Software—Practice & Experience
Program inversion: more than fun!
Science of Computer Programming
Inversion of a recursive tree traversal
Information Processing Letters
ACM SIGPLAN Notices
Journal of the ACM (JACM)
Feynman Lectures on Computation
Feynman Lectures on Computation
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Program Construction, International Summer Schoo
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Transforming interpreters into inverse interpreters by partial evaluation
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
A programmable editor for developing structured documents based on bidirectional transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 35th conference on Winter simulation: driving innovation
There and back again: arrows for invertible programming
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
A Method for Automatic Program Inversion Based on LR(0) Parsing
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Type-based specialization of xml transformations
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polynomial-time inverse computation for accumulative functions with multiple data traversals
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Proving injectivity of functions via program inversion in term rewriting
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A grammar-based approach to invertible programs
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
A new method for program inversion
CC'12 Proceedings of the 21st international conference on Compiler Construction
A Method for Automatic Program Inversion Based on LR(0) Parsing
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
| Hi-index | 0.00 |
We reformulate the Korf-Eppstein method for automatic inversion offirst-order functional programs using a structural operationalsemantics and compare it with the program inversion methoddescribed by Gries. We analyze the method and suggest possibleextensions. The method is noteworthy in that it was used toconstruct the first automatic program inverter described in theliterature. The key features of the Korf-Eppstein method are thesimultaneous inversion of an injective system of functions, anequation-oriented transformation, and the use of postconditioninference heuristics.