A Heuristic Approach to Program Inversion
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 219-220.
Abstract
A notatio.n is given for describing the inverse of multiple functions and of functions of multiple arguments. A technique based upon this notation is presented for taking a program written in pure LISP and automatically deriving a program which computes the inverse function of the given program. This technique differs from previous su ch methods in its use of heuristics to invert conditionals.
David Eppstein. 1985. A Heuristic Approach to Program Inversion. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 219–220. https://ijcai.org/proceedings/1985/40
Eppstein, D. (1985). A Heuristic Approach to Program Inversion. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 (pp. 219–220). IJCAI. https://ijcai.org/proceedings/1985/40
@inproceedings{ijcai1985p40,
title = {A Heuristic Approach to Program Inversion},
author = {Eppstein, David},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {219--220},
year = {1985},
note = {Automatic Programming},
url = {https://ijcai.org/proceedings/1985/40},
}
TY - CPAPER TI - A Heuristic Approach to Program Inversion AU - Eppstein, David T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 219 EP - 220 UR - https://ijcai.org/proceedings/1985/40 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
