loop invariant
Noun
Meaning
loop invariant (plural loop invariants)
(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
Noun
loop invariant (plural loop invariants)
(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