This paper describes a knowledge-based system to synthesize functional programs of Backus' FP system [1,2] from input/output instances. Based on a theory of orthogonal expansion of programs [3,4], the task of program synthesis is expressed in program equations, and fulfilled by solving them according to the knowledge about the equivalence between programs. Examples are given in the paper.
CITATION STYLE
Hong, Z., & Lingzi, J. (1989). A knowledge-based system to synthesize FP programs from examples. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 390 LNAI, pp. 234–245). Springer Verlag. https://doi.org/10.1007/3-540-51665-4_89
Mendeley helps you to discover research relevant for your work.