loop invariant

English

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

invariant guaranteed to remain true on every iteration of a loop

• Icelandic: lykkjuóbreyta f