A heuristic approach to program inversion

David Eppstein
Proc. 9th Int. Joint Conf. Artificial Intelligence, Aug 1985, vol. 1, pp. 219-221
http://www.ics.uci.edu/~eppstein/pubs/Epp-IJCAI-85.pdf

Cited by:

• The universal resolving algorithm: Inverse computation in a functional language
• Efficient optimistic parallel simulations using reverse computation
• Techniques for Efficient Parallel Simulation and their Application to Large-scale Telecommunication Network Models
• Principles of inverse computation and the universal resolving algorithm
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• An algorithm for fully reversible optimistic parallel simulation
• Generating perfect reversals of simple linear-codes
• A program inverter for a functional language with equality and constructors
• Derivation of deterministic inverse programs based on LR parsing