Inversion of applicative programs

Authors:
Richard E. Korf
Affiliations:
Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA and Computer Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y.
Venue:
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Year:
1981

Citing 2
Cited 3

Expression procedures and program derivation

Expression procedures and program derivation
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual

Inverting Functions as Folds

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
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
A Method for Automatic Program Inversion Based on LR(0) Parsing

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

A technique is presented for taking a program written in pure LISP and automatically deriving a program which computes the inverse function of the given program The scheme is based on a set of rules for inverting the primitive functions plus a method of solving for variables introduced by non-invertible functions. As an example, a program to reverse a list is inverted.