您要查找的是不是：
- This artical mainly presents the elementary thought and method that David. Gries, professor of the Cornell University applied in his research on programming with WP (weakest precondition) in small program aspect. 本文主要簡(jiǎn)介美國康奈爾(Coroell)大學(xué)大衛·格里斯(David.;Gries)教授在小程序方面;運用wp(weakest precondition)研究程序設計的基本思想和方法。
- 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ò)程。
- The spirit is willing but the flesh is weak. 心有余而力不足。
- The shock make me go all weak at the knee. 這件事把我嚇得兩腿發(fā)軟。
- You must be weak in the head if you believe that. 你相信那件事可就太傻了。
- He cannot run because he has a weak heart. 他有心臟病，不能跑。
- A fearful person is a weak person. 怕這怕那的人是軟弱的人。
- The shock made me go all weak at the knees. 這件事把我嚇得兩腿發(fā)軟。
- His weak chest was a legacy of a childhood illness. 他那瘦弱的胸脯是兒時(shí)患病的后遺癥。
- In a weak moment, I agreed to pay for her holiday. 我一時(shí)心軟同意了支付她度假的費用。
- He is weak with hunger, so I have to support him. 他餓得沒(méi)有力氣，我得攙著(zhù)他。
- He pushed a weak student through the exam. 他幫助一位成績(jì)差的學(xué)生通過(guò)了考試。
- He was too weak even to lift his hand. 他虛弱得連手都抬不起來(lái)。
- Her health varies from good to rather weak. 她的健康狀況變化不定，有時(shí)良好，有時(shí)相當差。
- Weak foundations caused the house to subside. 由于地基不牢，這所房子已下陷。
- The patient is too weak to speak. 病人太衰弱了，不能說(shuō)話(huà)。
- The defence argue/argues that the evidence is weak. 辯護律師提出理由認為證據不充分。
- Precondition given in request failed. 放棄請求失敗的條件。
- The small weak child became the scorn of the class. 這個(gè)瘦小軟弱的孩子成為全班嘲笑的對象。
- This certificate is a precondition of their pay. 這證明書(shū)是他們付款的前提條件。
