| 程序正确性证明方法研究 |
| |
| 引用本文： | 苏敏,丁志义.程序正确性证明方法研究[J].人天科学研究,2009(2). |
| |
| 作者姓名： | 苏敏 丁志义 |
| |
| 作者单位： | 宁夏大学数学与计算机学院 |
| |
| 基金项目： | 宁夏自然科学基金项目(NZ0725) |
| |
| 摘 要： | 介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。
|
| 关 键 词： | 良序集 Hoare公理系统 |
Research on Method of Program Correctness Proofs |
| |
| Abstract: | This paper introduces the R.W. Floyd proved the correctness of some procedures Inductive assertion method and certification procedures to terminate the Well-Ordered Sets method. In addition, the certification procedures correctness of the method still Hoare Ax- iomatic system. |
| |
| Keywords: | Well-Ordered Sets Hoare Axiomatic system |
| 本文献已被 维普 等数据库收录！ |
