See Also
- While loop
- Loop invariant
- Transfinite induction
- Descending chain condition
- Large countable ordinal
- Correctness (computer science)
- Weakest-preconditions of While loop
Read more about this topic: Loop Variant
Famous quotes containing the word see:
“To see ourselves as others see us can be eye-opening. To see others as sharing a nature with ourselves is the merest decency. But it is from the far more difficult achievement of seeing ourselves amongst others, as a local example of the forms human life has locally taken, a case among cases, a world among worlds, that the largeness of mind, without which objectivity is self- congratulation and tolerance a sham, comes.”
—Clifford Geertz (b. 1926)