program synthesis发音

意思翻译

程序综合

相似词语短语

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

granular synthesis───颗粒合成

dehydration synthesis───脱水合成

synthesis definition───综合定义

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.