---
title: "A Heuristic Approach to Program Inversion"
authors:
  - "David Eppstein"
doi: ""
url: "https://ijcai.org/proceedings/1985/40"
pdf: "https://ijcai.org/proceedings/1985/0040.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "219-220"
track: "Automatic Programming"
keywords:
---

# A Heuristic Approach to Program Inversion

David Eppstein

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, 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.