论文部分内容阅读
This paper proposes an approach to synthesize functional programs of Backus’ FP system frominput/output instances.Based on a theory of orthogonal expansion of programs,the task of programsynthesis is expressed in program equations,and fulfilled by solving them according to the knowledgeabout the equivalence between programs.Some general knowledge of solving program equations with anumber of examples are given in the paper.
This paper proposes an approach to synthesize functional programs of Backus’ FP system from input / output instances. Based on a theory of orthogonal expansion of programs, the task of programsynthesis is expressed in program equations, and fulfilled by solving them according to the knowledgeabout the equivalence between programs. general general knowledge of solving program equations with anumber of examples are given in the paper.