loop invariant

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Noun[edit]

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[edit]