The Loop invariant reference article from the English Wikipedia on 24-Apr-2004
(provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Loop invariant

For thoughtful child sponsors

In computer science, A loop invariant is an invariant used to prove properties of loops.

This article is a stub. You can help Wikipedia by expanding it.

This is the "Loop invariant" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.