---
title: "Inferring LISP Programs From Examples"
authors:
  - "David E. Shaw"
  - "William R. Swartout"
  - "C. Cordell Green"
doi: ""
url: "https://ijcai.org/proceedings/1975/40"
pdf: "https://ijcai.org/proceedings/1975/0040.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "260-266"
track: "Learning Debugging And Automatic Programming"
keywords:
---

# Inferring LISP Programs From Examples

David E. Shaw, William R. Swartout, C. Cordell Green

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, pages 260-266.

## Abstract

A program is desmbed which infers certain recursive LISP programs from smgle example input.output pairs. Synthesized programs may recur in more than one argument, and may involve the synthesis of auxilliary functions. An actual user session with the program, called EXAMPLE, is presented, and the operation of the program and its important heuristics are outlined.