Inversion of Applicative Programs
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. 1.
Cite
Text
Korf. "Inversion of Applicative Programs." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Korf. "Inversion of Applicative Programs." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/korf1981ijcai-inversion/)BibTeX
@inproceedings{korf1981ijcai-inversion,
title = {{Inversion of Applicative Programs}},
author = {Korf, Richard E.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {1007-1009},
url = {https://mlanthology.org/ijcai/1981/korf1981ijcai-inversion/}
}