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