loop invariant
Jump to navigation
Jump to search
English
[edit]
Noun
[edit]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
Translations
[edit]invariant guaranteed to remain true on every iteration of a loop
|