|
Definition of Loop invariant
1. Noun. (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 ¹
¹ Source: wiktionary.com
|
1. Noun. (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 ¹
¹ Source: wiktionary.com