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:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497–406/5 B.C.)