loop invariant

invariants used to prove properties of loops

Kategorier: