In computer programming, loop-invariant code consists of statements or expressions (in an imperative programming ...
en.m.wikipedia.org