1、
2、
3、
4、
这样就会为其他的优化行为打开大门；比如方法内联、提取循环不变式以及死代码的清除。
互联网摘选
5、
6、
利用安全Petri网的特点，提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法。
互联网摘选
7、
This optimization removes invariant subexpressions from the body of a loop.
此优化将不变量子表达式从循环体中移除.
网络文摘精选
8、
所考虑的系统由正向通道的线性时不变稳定系统与反馈通道的不确定动态特性所构成的闭环系统。反馈通道的不确定性由输入导数满足积分二次约束（IQC）的非线性算子描述。
互联网摘选
