program synthesis（意思翻译）

程序综合

program synthesis（相似词语短语）

1、speech synthesis───[计]语音合成；言语合成

2、isatin synthesis───靛蓝合成

3、aconitine synthesis───乌头碱合成

4、synthesis───n.综合，[化学]合成；综合体

5、synthesis reaction───合成反应

6、dehydration synthesis───脱水合成

7、granular synthesis───颗粒合成

8、synthesis definition───综合定义

9、explanatory synthesis───解释性综合

program synthesis（双语使用场景）

1、A method of inductive program synthesis by concept learning is presented in this paper.───本文介绍一种基于概念学习的归纳程序综合方法。

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.───本文以归纳程序综合XiTongNDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。

3、In the theory of programming, program synthesis is deeply concerned with program verification.───在程序理论方面，程序综合与程序验证关系密切。

4、The top-down inductive program synthesis is based on the method of identification by enumeration.───自顶向下的归纳程序综合基于枚举识认方法。

5、Automatic Web Service Composition via Program Synthesis───基于程序生成的自动化服务组合技术

program synthesis（英语使用场景）

1、A method of inductive program synthesis by concept learning is presented in this paper.

2、The consistency between deduction and knowledge and mechanical learning in program synthesis are discussed.

3、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.

4、In the theory of programming, program synthesis is deeply concerned with program verification.

5、The top-down inductive program synthesis is based on the method of identification by enumeration.

program synthesis（相关推荐）