基于问题求解的归纳程序综合  

Inductive Program Synthesis Through Problem Solving

作　　者：王志坚[1] 章骏[1] 徐家福[1] 

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

出　　处：《计算机研究与发展》1991年第6期20-25,共6页Journal of Computer Research and Development

摘　　要：归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。Inductive program synthesis is one of the important approaches to software autormation. In this paper,the synthesizing process is treated as a problem solving task,and the program which covers all the given instances is generated by inductive inference.Its method,theory and implementa- tion are discussed.

关 键 词：问题求解 归纳程序综合 软件自动化 

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