您要查找的是不是：
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 對使用形式化方法及循環(huán)不變式開(kāi)發(fā)新策略開(kāi)發(fā)非遞歸算法作了較深入的實(shí)踐和探討。
- An iterative algorithm (Part One) takes one step at a time, ensuring that each step makes progress while maintaining the loop invariant. 迭代算法通過(guò)每步保持循環(huán)不變量而不斷向前推進(jìn)，最終達到目標狀態(tài)，解決問(wèn)題；
- Loop Invariant Code Motion in Code Generator 代碼生成階段的循環(huán)不變量外提
- A discussion about loop and loop invariant 關(guān)于循環(huán)與循環(huán)不變式的討論
- 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. 在此基礎上引入不動(dòng)點(diǎn)原理深入刻劃循環(huán)不變式的含義，循環(huán)不變式可以表示為謂詞泛函的最小不動(dòng)點(diǎn)，并從范疇論的角度解釋該過(guò)程。
- 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. 我寧可猶疑地表示我的意見(jiàn)而不愿直率地斷言這件事。
- Here, if the assertion fails, we simply enter an infinite loop. 在這里，如果斷言失敗，我們只需輸入一個(gè)無(wú)限循環(huán)。
- On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop 關(guān)于求已知do循環(huán)不變式的一個(gè)方法及for循環(huán)的WP的定義
- invariant assertion method 不變斷言法
- invariant assertion 不變斷言
- Analysis of loop invariants in terms of set theory 從集合論的角度分析循環(huán)不變式
- The road makes a wide loop around the lake. 這條路沿湖繞一大圈。
- Such a questionable assertion is sure to provoke criticism. 這種有問(wèn)題的主張肯定會(huì )招致非議。
- A loop fastened to a belt to hold a tool or weapon. 掛武器環(huán)固定在腰帶上拴工具或武器的環(huán)套
- One loop or winding of a coiled rope or cable. 一卷繩索，一捆船索卷起的繩子或鋼絲的一圈或一卷
- The loop becomes magnetic when the current is switched on. 通電時(shí)線(xiàn)圈就會(huì )有磁性。
- You're too timid you must try to assert yourself more. 你太畏縮了--要盡量增強自信心。
- The laws of historical development will assert themselves. 歷史發(fā)展的規律是不可抗拒的。
