| 试论循环不变式和囿界函数在循环研制中的地位和作用 |
| |
| 引用本文： | 游晓明,刘升.试论循环不变式和囿界函数在循环研制中的地位和作用[J].湖北师范学院学报(自然科学版),1998(6). |
| |
| 作者姓名： | 游晓明 刘升 |
| |
| 作者单位： | 湖北师范学院计算机科学系 |
| |
| 摘 要： | 详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。
|
| 关 键 词： | 循环不变式 囿界函数 程序的正确性 |
ON THE FUNCTIONS AND STATUS OF LOOP INVARIANT AND BOUND FUNCTION IN LOOP STUDY |
| |
| You Xiaoming Liu Sheng.ON THE FUNCTIONS AND STATUS OF LOOP INVARIANT AND BOUND FUNCTION IN LOOP STUDY[J].Journal of Hubei Normal University(Natural Science),1998(6). |
| |
| Authors: | You Xiaoming Liu Sheng |
| |
| Institution: | Department of Computer Science and Technology |
| |
| Abstract: | This paper, has analyzed the Functions and status of Loop invariant and bound Function in Loop study and discussed their construction |
| |
| Keywords: | Loop-invariant Bound Function Correctness of program |
| 本文献已被 CNKI 等数据库收录！ |
