- 1. Loop Invariant: 循环不变量
为了证明该算法的正确性，我们可以使用以下三个循环不变量（loop invariant）：
dict.youdao.com - 2. Loop Invariant: 循环不变式
Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability
dict.youdao.com - 3. Loop-invariant code motion: 循环不变量代码移动
dict.youdao.com - 4. loop invariant computation: 回路不变量计算
dict.youdao.com - 5. loop invariant value: 循环不变量
dict.youdao.com - 6. weak loop invariant: 弱循环不变式
dict.youdao.com - 7. Loop invariant motion: 循环不变量移动
dict.youdao.com - 8. weak parallel loop invariant: 弱并行循环不变式
dict.youdao.com - 9. loop checking invariant: 循环不变量
dict.youdao.com
有道词典