试论循环不变式和囿界函数在循环研制中的地位和作用

ON THE FUNCTIONS AND STATUS OF LOOP INVARIANT AND BOUND FUNCTION IN LOOP STUDY

详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。

This paper, has analyzed the Functions and status of Loop invariant and bound Function in Loop study and discussed their construction