automatic program synthesis [计] 自动程序综合 ; 自动程序合成
Inductive Program Synthesis 归纳程序综合
logical program synthesis [计] 逻辑程序合成
logical program synthesis system LOPS 逻辑程序合成系统
Neuro-Symbolic Program Synthesis 神经
Model-Integrated Program Synthesis 模型集成软件合成
ship synthesis program 船舶综合分析程序 ; 船舶综合程序
synthesis program 综合程序
program automatic synthesis 程式自动合成
In general, design of program can be treated as theorem proving, so program synthesis has close relations with automatic theorem proving.
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。
参考来源 - 基于归结原理的程序综合设计与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
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为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。
应用推荐