一种基于知识的由实例综合程序的方法  

A KNOWLEDGE-BASED APPROACH TO PROGRAM SYNTHESIS FROM EXAMPLES

作　　者：朱鸿[1] 金凌紫[2] 

机构地区：[1]南京大学软件研究所,南京210008 [2]南京大学计算机科学系,南京210008

出　　处：《计算机学报》1991年第6期432-444,共13页Chinese Journal of Computers

基　　金：国家教委优秀青年教师基金;国家自然科学基金

摘　　要：本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.An approach to synthesize functional programs of Backus' FP system from input/output instances is proposed. Based on a theory of orthogonal expansion of programs, the task of program synthesis is expressed in program equations, and fulfilled by solving them according to the knowledge about the equivalence between programs. Some general knowledge of solving program equations and synthesis strategy are given and illustrated by examples.

关 键 词：知识 程序综合 软件自动化 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]