loop invariant

From Wiktionary, the free dictionary
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

English

English Wikipedia has an article on:
Wikipedia

Noun

loop invariant (plural loop invariants)

  1. (computer science) an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop

Translations