Synthesis: Dreams - Programs
Synthesis: Dreams - Programs
复制标题
综合：梦想 - 程序
DOI：
10.1109/tse.1979.234198
复制
发表时间：
1979
期刊：
影响因子：
--
通讯作者：
R. Waldinger
中科院分区：
文献类型：
--
作者：
Z. Manna;R. Waldinger
演绎技术推导程序系统地从给定的规格。规范表达了所需程序的目的，而没有给出任何要使用的算法的提示。其基本方法是按照一定的规则反复变换规范，直到生成一个令人满意的程序。这些规则受到一些战略控制的指导。这些技术已被纳入一个正在运行的程序合成系统，称为DEDALUS。
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed. The basic approach is to transform the specifications repeatedly according to certain rules, until a satisfactory program is produced. The rules are guided by a number of strategic controls. These techniques have been incorporated in a running program-synthesis system, called DEDALUS.