Inferring LISP Programs from Examples
- Inferring LISP Programs from Examples
- Shaw, David Elliot
Swartout, William R.
Green, C. Cordell
- Computer Science
- Persistent URL:
- Columbia University Computer Science Technical Reports
- Part Number:
- Department of Computer Science, Columbia University
- Publisher Location:
- New York
- A program is described which infers certain recursive LiSP programs from single example input-output parts. 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.
- Computer science
- Item views
text | xml
- Suggested Citation:
- David Elliot Shaw, William R. Swartout, C. Cordell Green, 1975, Inferring LISP Programs from Examples, Columbia University Academic Commons, https://doi.org/10.7916/D89K4K6X.