An automatic construction of LISP programs by transformations of functions synthesized from their input-output behavior
| Authored By: | J. P. Jouannaud and Y. Kodratoff |
| Paper Title: | An automatic construction of LISP programs by transformations of functions synthesized from their input-output behavior |
| In: | International J. of Policy Analysis and Information Systems |
| Vol. 4 | |
| Publication Date: | 1980 |
| Pages: | 331-358 |