What's the loop invariant for this code?
此代码的循环不变式是什么？
How to find the loop invariant and prove correctness?
如何寻找循环不变式和证明的正确性？
Loop invariant code motion (LICM) is a traditional optimization.
循环不变量外提是一种传统的优化算法。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
Listing 2. Loop containing invariant.
清单2循环中包含不变式。
This optimization removes invariant subexpressions from the body of a loop.
此优化将不变量子表达式从循环体中移除。
A real factorization method based on evolutionary algorithms is proposed for finding tbe roots of the characteristic equation of a linear time-invariant closed-loop system.
针对线性定常闭环系统特征方程的求根问题，提出了一种基于演化算法的实因式分解法。
The research of traditional double-closed-loop PID control strategy is the linear time-invariant control problems.
传统的双闭环pid控制策略研究的是线性时不变的控制问题。
The research of traditional double-closed-loop PID control strategy is the linear time-invariant control problems.
传统的双闭环pid控制策略研究的是线性时不变的控制问题。
应用推荐