利用子目标演绎和结构归纳法的自动编程技术

本文介绍了我们在递归程序自动综合方面的一些研究,我们的初步成果主要有三个方面:1.发展了一种新的机器推理技术——子目标演绎法,它在一定程度上缓合了组合爆炸的困难;2.在程序综合方面,利用了结构归纳法原理,从而建立了一种自动综合程序的图式;3.利用1.,2.设计并且在FELIX C-256计算机上实现了“LISP递归程序自动综合的实验系统”(RPS-1)。