The top-down inductive program synthesis is based on the method of identification by enumeration.
自顶向下的归纳程序综合基于枚举识认方法。
2
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.