摘要
归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1991年第6期20-25,共6页
Journal of Computer Research and Development
