| 摘要: |
| 本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS |
|
Xu Jiafu,Dai Min,Wang Zhijian
|
| Abstract: |
| This paper discusses the approaches and problems of inductive program synthesis in software automation. The design background and implementation methods of an inductive program synthesizer NDIPS are proposed and the key techniques of automatic program induction adopted in the system are emphasized. |
| Key words: |
