您要查找的是不是：
- 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. 在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
- We encouraged him to assert his view of the matter. 我们鼓励他坚持自己对此事的看法。
- The news of their marriage knocked me for a loop. 他们结婚的消息使我大吃一惊。
- I choose rather to hesitate my opinion than to assert it roundly. 我宁可犹疑地表示我的意见而不愿直率地断言这件事。
- Here, if the assertion fails, we simply enter an infinite loop. 在这里，如果断言失败，我们只需输入一个无限循环。
- On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop 关于求已知do循环不变式的一个方法及for循环的WP的定义
- invariant assertion method 不变断言法
- invariant assertion 不变断言
- Analysis of loop invariants in terms of set theory 从集合论的角度分析循环不变式
- The road makes a wide loop around the lake. 这条路沿湖绕一大圈。
- Such a questionable assertion is sure to provoke criticism. 这种有问题的主张肯定会招致非议。
- 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. 通电时线圈就会有磁性。
- You're too timid you must try to assert yourself more. 你太畏缩了--要尽量增强自信心。
- The laws of historical development will assert themselves. 历史发展的规律是不可抗拒的。
