您要查找的是不是：
- loop invariant computation 循环不变量计算
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- An iterative algorithm (Part One) takes one step at a time, ensuring that each step makes progress while maintaining the loop invariant. 迭代算法通过每步保持循环不变量而不断向前推进，最终达到目标状态，解决问题；
- Loop Invariant Code Motion in Code Generator 代码生成阶段的循环不变量外提
- A discussion about loop and loop invariant 关于循环与循环不变式的讨论
- Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory. 在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
- The news of their marriage knocked me for a loop. 他们结婚的消息使我大吃一惊。
- optimization of invariant computations 不变式计算的优化
- On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop 关于求已知do循环不变式的一个方法及for循环的WP的定义
- Addition and division are forms of computation. 加法和除法都是计算方法。
- The road makes a wide loop around the lake. 这条路沿湖绕一大圈。
- It will cost 5000 at the lowest computation. 估计最少也值5000英镑。
- Analysis of loop invariants in terms of set theory 从集合论的角度分析循环不变式
- A loop fastened to a belt to hold a tool or weapon. 挂武器环固定在腰带上拴工具或武器的环套
- One loop or winding of a coiled rope or cable. 一卷绳索，一捆船索卷起的绳子或钢丝的一圈或一卷
- The loop becomes magnetic when the current is switched on. 通电时线圈就会有磁性。
- A quick computation revealed that we would not make a profit. 粗略计算后可以看出我们无利可图。
- invariant computation 不变式计算
- The loop of string makes a handle for the parcel. 细绳结的环做成包裹的拎襻。
- The speed of light is an invariant constant. 光速是一个不变常数。
