首页 | 本学科首页   官方微博 | 高级检索  
     

关于循环终止性证明的一种最小不动点方法
引用本文:宋炜. 关于循环终止性证明的一种最小不动点方法[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 等数据库收录!
点击此处可从《南昌大学学报(工科版)》浏览原始摘要信息
点击此处可从《南昌大学学报(工科版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号