| 自顶向下的归纳程序综合方法 |
| |
| 引用本文： | 王志坚,王军.自顶向下的归纳程序综合方法[J].计算机研究与发展,1992,29(2):22-26. |
| |
| 作者姓名： | 王志坚 王军 |
| |
| 作者单位： | 南京大学计算机软件研究所 210008 |
| |
| 摘 要： |
|
| 关 键 词： | 程序 综合 归纳 自顶向下 |
A Top-Down Method for Inductive Program Synthesis |
| |
| Wang Zhijian,Wang Jun,Xu Jiafu Institute of Computer Software,Nanjing University.A Top-Down Method for Inductive Program Synthesis[J].Journal of Computer Research and Development,1992,29(2):22-26. |
| |
| Authors: | Wang Zhijian Wang Jun Xu Jiafu Institute of Computer Software Nanjing University |
| |
| Affiliation: | Wang Zhijian,Wang Jun,Xu Jiafu Institute of Computer Software,Nanjing University,210008 |
| |
| Abstract: | Abstract:The top-down inductive program synthesis is based on the method of identification by enumeration.With the inductive program synthesis system NDIPS,this paper presents its synthesis al-gorithm,the organization of its hypothesis space and the search strategies it adopted. |
| |
| Keywords: | program synthesis induction identification hypothesis space |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
