Synthesis of LISP functions from examples

Authors:
Steven Hardy
Affiliations:
University of Sussex, Brighton, Sussex
Venue:
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Year:
1975

Citing 1
Cited 0

Experiments in the recognition of hand-printed text, part II: context analysis

AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II

Quantified Score

Hi-index	0.00

Visualization

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.