| 摘要: |
| 本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| INDUCTIVE PROGRAM SYNTHESIS FROM TRACES |
|
Wang Zhijian,Zhang Jun,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. |
| Key words: |
