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 algorithm, the organization of its hypothesis space and the search strategies it adopted.
本文以归纳程序综合系统NDIPS为背景,介绍自顶向下的归纳程序综合算法,以及程序假设空间的组织、搜索所采用的技术和策略。
应用推荐