English edit

 
English 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