您要查找的是不是:
- 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. 他们结婚的消息使我大吃一惊。
- On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop 关于求已知do循环不变式的一个方法及for循环的WP的定义
- Analysis of loop invariants in terms of set theory 从集合论的角度分析循环不变式
- The road makes a wide loop around the lake. 这条路沿湖绕一大圈。
- 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. 通电时线圈就会有磁性。
- The loop of string makes a handle for the parcel. 细绳结的环做成包裹的拎襻。
- The speed of light is an invariant constant. 光速是一个不变常数。
- New Strategies for Developing Loop Invariants and its Application 循环不变式开发新策略及其应用
- Such values are read only and invariant. 这些值都是只读和不变的。
- The Document may contain zero Invariant Sections. 文档可以没有固定章节。
- Loop that end of the rope through this and knot it. 把绳子的这一头儿从这里穿过然后打结。
- loop invariant 循环不变式
- This control may be closed loop or open loop. 控制可以是闭环的也可以是开环的。