{"type":"ScholarlyArticle","title":"A Heuristic Approach to Program Inversion","authors":[{"name":"David Eppstein","slug":"david-eppstein","given":"David","family":"Eppstein","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1985/40","pdf":"https://ijcai.org/proceedings/1985/0040.pdf","markdown":"https://ijcai.org/proceedings/1985/40.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/40","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automatic Programming","track":"Automatic Programming","number":40,"pages":{"first":219,"last":220},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}