Synthesis Of LISP Functions From Examples

Hardy, Steve

Synthesis Of LISP Functions From Examples

Download BibTeX Cite

Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Learning Debugging And Automatic Programming. Pages 240-244.

Abstract

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

Steve Hardy. 1975. Synthesis Of LISP Functions From Examples. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75. IJCAI, 240–244. https://ijcai.org/proceedings/1975/37

@inproceedings{ijcai1975p37,
  title     = {Synthesis Of LISP Functions From Examples},
  author    = {Hardy, Steve},
  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     = {240--244},
  year      = {1975},
  note      = {Learning Debugging And Automatic Programming},
  url       = {https://ijcai.org/proceedings/1975/37},
}

TY  - CPAPER
TI  - Synthesis Of LISP Functions From Examples
AU  - Hardy, Steve
T2  - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1975
SP  - 240
EP  - 244
UR  - https://ijcai.org/proceedings/1975/37
ER  -