A Program Inverter for a Functional Language with Equality and Constructors
- 1 January 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Transforming interpreters into inverse interpreters by partial evaluationPublished by Association for Computing Machinery (ACM) ,2003
- Principles of Inverse Computation and the Universal Resolving AlgorithmPublished by Springer Science and Business Media LLC ,2002
- The universal resolving algorithm and its correctness: inverse computation in a functional languageScience of Computer Programming, 2002
- Efficient optimistic parallel simulations using reverse computationACM Transactions on Modeling and Computer Simulation, 1999
- Application of metasystem transition to function inversion and transformationPublished by Association for Computing Machinery (ACM) ,1990
- InvX: An automatic function inverterLecture Notes in Computer Science, 1989
- Generating reversible programsSoftware: Practice and Experience, 1987
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- The Science of ProgrammingPublished by Springer Science and Business Media LLC ,1981
- Program inversionPublished by Springer Science and Business Media LLC ,1979