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 |
BibTeX Record:
@Article{jk-aclptfs-80,
author = "J. P. Jouannaud and Y. Kodratoff",
title = "An automatic construction of {LISP} programs by transformations of functions synthesized from their input-output behavior",
journal = "International J. of Policy Analysis and Information Systems",
volume = "4",
year = "1980",
pages = "331--358",
}
Hide BibTeX Record
@Article{jk-aclptfs-80,
author = "J. P. Jouannaud and Y. Kodratoff",
title = "An automatic construction of {LISP} programs by transformations of functions synthesized from their input-output behavior",
journal = "International J. of Policy Analysis and Information Systems",
volume = "4",
year = "1980",
pages = "331--358",
}