自顶向下的归纳程序综合基于枚举识认方法。
The top-down inductive program synthesis is based on the method of identification by enumeration.
本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
应用推荐