| 释义 |
- 循环不变式：在计算机科学中，循环不变式是一种用于描述循环过程中某些性质保持不变的逻辑表达式，通常用于证明算法的正确性。
1 ?循环不变式 循环不变式（Loop invariants），回圈内不会改变的数值。 2 ?循环不变量 例如许多国外的离散数学教材中特别强调循环不变量(Loop Invariants)的使用[3, 4],还以一些例子来证明某些程序的正确性。
- 1
These technologies can detect some simple loop invariants, but can not deal with complex issues. 这些技术能探测出较简单问题的循环不变式，但是却无法处理复杂问题。 - 2
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts. 还有循环不变式等等，但前置、后置条件和类不变式是基本要素。 - 3
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. 还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
|