loop invariant的例句大全

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

a discussion about loop and loop invariant

关于循环与循环不变式的讨论

loop invariant code motion in code generator

代码生成阶段的循环不变量外提

that would leave open the opportunity to apply other optimizations such as; method inlining, loop invariant hoisting and dead code elimination.

这样就会为其他的优化行为打开大门；比如方法内联、提取循环不变式以及死代码的清除。

The loop invariant of definite do loop is attained by using its WP.

对确定性do循环，利用其WP求出循环不变式。

By using of the characters of safe Petri nets, a place invariant generation algorithm which uses the reachability tree of safe Petri nets and complete graph of mth order with self-loop is presented.

利用安全Petri网的特点，提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法。

This optimization removes invariant subexpressions from the body of a loop.

此优化将不变量子表达式从循环体中移除.

The system consists of a stable linear time invariant system in its forward loop and dynamic uncertainties in the feedback loop, which can be described by an uncertain operator with its input time derivative satisfies integral quadratic constraints.

所考虑的系统由正向通道的线性时不变稳定系统与反馈通道的不确定动态特性所构成的闭环系统。反馈通道的不确定性由输入导数满足积分二次约束（IQC）的非线性算子描述。