%0 Journal Article
%T 基于轨迹的归纳程序综合
%A 徐家福
%A 王志坚
%A 章骏
%J -
%D 1993
%X 本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930203&flag=1