invariant computations

What Is Meant By Loop Invariant? In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration. … The loop invariants will be true on entry into a loop and following each iteration, so that on exit from the loop both the loop invariants and