loop invariant computation

不变量算子,invariant... ... ) loop invariant computation 循环不变量计算 ) invariant operator 不变量算子 ...