ML Anthology

Synthesis of LISP Functions from Examples

Steve Hardy
IJCAI 1975 pp. 240-245
/ijcai/1975/hardy1975ijcai-synthesis/

Abstract

A system, called GAP, which automatically produces LISP functions from example computations is described. GAP uses a knowledge of LISP programming to inductively infer the LISP function 'obviously' intended by a given 'iopair' (i.e. a single input to be presented to the function and the output which must result). The system is written in POPCORN (a CONNIVER-like extension of POP2) and represents its knowledge of LISP procedurally.

PDF Semantic Scholar

Cite

Text

Hardy. "Synthesis of LISP Functions from Examples." International Joint Conference on Artificial Intelligence, 1975.

Markdown

[Hardy. "Synthesis of LISP Functions from Examples." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/hardy1975ijcai-synthesis/)

BibTeX

@inproceedings{hardy1975ijcai-synthesis,
  title     = {{Synthesis of LISP Functions from Examples}},
  author    = {Hardy, Steve},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {240-245},
  url       = {https://mlanthology.org/ijcai/1975/hardy1975ijcai-synthesis/}
}