Loading...
Please wait, while we are loading the content...
Similar Documents
Synthesis of lisp functions from exampies.
| Content Provider | CiteSeerX |
|---|---|
| Author | Hardy, Steven |
| 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. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Conniver-like Extension Lisp Function Single Input Synthesis Lisp Function Exampies Example Computation |
| Content Type | Text |