[计]?循环不变量

为了证明该算法的正确性，我们可以使用以下三个循环不变量（loop invariant）：

[计]?循环不变式

Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability

?循环常量

如非Null类型编制，前置和后置条件，循环常量（loop invariant）和对象常量等。这个扩展将。