| 基于轨迹的归纳程序综合 |
| |
| 引用本文： | 王志坚,章骏,徐家福.基于轨迹的归纳程序综合[J].软件学报,1993,4(2):15-20. |
| |
| 作者姓名： | 王志坚 章骏 徐家福 |
| |
| 作者单位： | 南京大学计算机软件研究所 南京 210008;南京大学计算机软件研究所 南京 210008;南京大学计算机软件研究所 南京 210008 |
| |
| 基金项目： | 国家863计划资助项目 |
| |
| 摘 要： | 本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。
|
| 关 键 词： | 归纳程序 轨迹 程序设计 自动化 |
INDUCTIVE PROGRAM SYNTHESIS FROM TRACES |
| |
| Wang Zhijian,Zhang Jun and Xu Jiafu.INDUCTIVE PROGRAM SYNTHESIS FROM TRACES[J].Journal of Software,1993,4(2):15-20. |
| |
| Authors: | Wang Zhijian Zhang Jun and Xu Jiafu |
| |
| 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: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
