Inferring LISP Programs From Examples

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

Inferring LISP Programs From Examples

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

Download BibTeX Cite

Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Learning Debugging And Automatic Programming. 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.

David E. Shaw, William R. Swartout, and C. Cordell Green. 1975. Inferring LISP Programs From Examples. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75. IJCAI, 260–266. https://ijcai.org/proceedings/1975/40

@inproceedings{ijcai1975p40,
  title     = {Inferring LISP Programs From Examples},
  author    = {Shaw, David E. and Swartout, William R. and Green, C. Cordell},
  booktitle = {Proceedings of the Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-75}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Patrick Winston and Carl Hewitt},
  pages     = {260--266},
  year      = {1975},
  note      = {Learning Debugging And Automatic Programming},
  url       = {https://ijcai.org/proceedings/1975/40},
}

TY  - CPAPER
TI  - Inferring LISP Programs From Examples
AU  - Shaw, David E.
AU  - Swartout, William R.
AU  - Green, C. Cordell
T2  - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1975
SP  - 260
EP  - 266
UR  - https://ijcai.org/proceedings/1975/40
ER  -