Home

Inferring LISP Programs from Examples

David Elliot Shaw; William R. Swartout; C. Cordell Green

Title:
Inferring LISP Programs from Examples
Author(s):
Shaw, David Elliot
Swartout, William R.
Green, C. Cordell
Date:
Type:
Technical reports
Department:
Computer Science
Persistent URL:
Series:
Columbia University Computer Science Technical Reports
Part Number:
CUCS-001-75
Publisher:
Department of Computer Science, Columbia University
Publisher Location:
New York
Abstract:
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.
Subject(s):
Computer science
Item views
156
Metadata:
text | xml
Suggested Citation:
David Elliot Shaw, William R. Swartout, C. Cordell Green, 1975, Inferring LISP Programs from Examples, Columbia University Academic Commons, http://hdl.handle.net/10022/AC:P:11048.

Center for Digital Research and Scholarship at Columbia University Libraries | Terms of Use | Copyright