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.