The next statement in the loop body is a second if statement that tests whether the variable I is evenly divisible by 125, but this expression is preceded by the not operator.
循环体中的下一个语句是第二个if语句，它测试变量i是否能被125整除，但是该表达式前面加了一个not运算符。
Even the fastest code in a loop body will add up when iterated thousands of times.
即使循环体中最快的代码，累计迭代上千次(也将是不小的负担)。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
应用推荐