These technologies can detect some simple loop invariants, but can not deal with complex issues.
这些技术能探测出较简单问题的循环不变式，但是却无法处理复杂问题。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
An analysis and comparison is Given about the existing techniques for developing loop invariants and the reasons are presented why they are difficult to popularize.
对现有的循环不变式开发技术进行了分析和比较，剖析了其难以实用的原因；
Based on recursive definition idea in existing technique of developing loop invariants, two new strategies for developing loop invariants on complicated recursive problems are presented.
基于现有循环不变式开发技术中的递归定义思想，提出了开发复杂递归问题循环不变式的两种新策略；
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.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
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.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
应用推荐