A heuristic approach to program inversion

  • Eppstein D
  • 10


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


A notation 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 such methods in its use of heuristics to invert conditionals.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • D. Eppstein

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free