###
DOI:
Journal of Software:1993.4(2):15-20

基于轨迹的归纳程序综合
王志坚,章骏,徐家福
(南京大学计算机软件研究所 南京 210008)
INDUCTIVE PROGRAM SYNTHESIS FROM TRACES
Wang Zhijian,Zhang Jun,Xu Jiafu
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2653   Download 2394
    
> 中文摘要: 本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。
中文关键词:
Abstract:This paper presents the inductive method for synthesizing programs from traces in NDIPS system. The matching identification algorithm is applied to the traces, generated by problem mechanism or provided by users, to form the recursive relations, and to synthesize the target programs. Its theory and implementation are discussed, and the synthesizing process of hanoi program is presented for the illustration.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

王志坚,章骏,徐家福.基于轨迹的归纳程序综合.软件学报,1993,4(2):15-20

Wang Zhijian,Zhang Jun,Xu Jiafu.INDUCTIVE PROGRAM SYNTHESIS FROM TRACES.Journal of Software,1993,4(2):15-20