program synthesis的意思

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.