| 关于循环终止性证明的一种最小不动点方法 |
| |
| 引用本文： | 宋炜. 关于循环终止性证明的一种最小不动点方法[J]. 南昌大学学报(工科版), 1991, 13(1): 1 |
| |
| 作者姓名： | 宋炜 |
| |
| 作者单位： | 江西工业大学计算机系； |
| |
| 摘 要： | 本文分析了循环终止性的特点,给出了实WHILE语句模型,简要地叙述了最小不动点理论,并结合到实循环函数上讨论了终止性的证明。
|
| 关 键 词： | 最小不动点 循环终止性 程序正确性证明 程序设计 |
AN APPROACH OF LEAST FIXPOINT TO THE PROOF OF LOOP TERMINATION |
| |
| Song Wei. AN APPROACH OF LEAST FIXPOINT TO THE PROOF OF LOOP TERMINATION[J]. Journal of Nanchang University(Engineering & Technology Edition), 1991, 13(1): 1 |
| |
| Authors: | Song Wei |
| |
| Affiliation: | Department of Computer |
| |
| Abstract: | The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions. |
| |
| Keywords: | programming proof of program correctness least fixpoint loop termination |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《南昌大学学报(工科版)》浏览原始摘要信息 |
|
点击此处可从《南昌大学学报(工科版)》下载全文 |
