程序综合（ 程序综合（Program Synthesis） ） 指根据给定问题的具体描述由计算机自动生成满 足要求的程序。 足要求的程序。
基于188个网页-相关网页
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
自顶向下的归纳程序综合基于枚举识认方法。
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.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
In this paper, a new constructive proving system, Specification Deduction, is presented.
应用推荐