| 一种程序综合方法 |
| |
| 引用本文： | 全炳哲,陈伟.一种程序综合方法[J].计算机学报,1996,19(11):833-840. |
| |
| 作者姓名： | 全炳哲 陈伟 |
| |
| 作者单位： | 吉林大学计算机科学系 |
| |
| 基金项目： | 国家“863”计划“八五”攻关项目,国家自然科学基金 |
| |
| 摘 要： | 通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法，作为研究程序自动佛的一种途径。
|
| 关 键 词： | 形式规约 程序设计自动化 程序综合法 |
A PROGRAM SYNTHESIZING METHOD |
| |
| Quan Bingzhe, Chen Wei and Jin Chunzhao.A PROGRAM SYNTHESIZING METHOD[J].Chinese Journal of Computers,1996,19(11):833-840. |
| |
| Authors: | Quan Bingzhe Chen Wei and Jin Chunzhao |
| |
| Abstract: | Programs can be synthesized by proving program specifications.However, some problems, which are hardly to be proved or have no proof, can not be manipulated smoothly in this way. On the other hand, if a verification program of the specification can be constructed, it can be regarded as the required program. This paper discusses how to construct a verification program for the given specification,so as to study a new kind of automatic programming method. |
| |
| Keywords: | Automatic programming program synthesis program correctness formal specification software automation |
| 本文献已被 CNKI 维普 等数据库收录！ |
