program synthesis是什么意思_program synthesis的中文翻译

程序综合

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

granular synthesis───颗粒合成

dehydration synthesis───脱水合成

synthesis reaction───合成反应

isatin synthesis───靛蓝合成

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

explanatory synthesis───解释性综合

aconitine synthesis───乌头碱合成

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

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

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

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

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.

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

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

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

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

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

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

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

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

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.

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

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

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

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