loop invariant (English, noun)
expansion: loop invariant (plural loop invariants)
Senses:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop
Forms:
form: loop invariants
tags: plural