A class of functions synthesized from a finite number of examples and a lisp program scheme
- 1 December 1979
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 8 (6) , 489-521
- https://doi.org/10.1007/bf00995500
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Inference of Regular LISP Programs from ExamplesIEEE Transactions on Systems, Man, and Cybernetics, 1978
- A Methodology for LISP Program Construction from ExamplesJournal of the ACM, 1977
- Goal-Directed Program TransformationIEEE Transactions on Software Engineering, 1976
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Program-Understanding SystemsPublished by Defense Technical Information Center (DTIC) ,1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962