In the theory of programming, programsynthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
2
The top-down inductive programsynthesis is based on the method of identification by enumeration.
自顶向下的归纳程序综合基于枚举识认方法。
3
With the inductive programsynthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.