loop invariant
Sign in to saveinvariants used to prove properties of loops
Wikidata facts
- Subclass of
- invariant
- Part of
- program loop
Show 1 more fact
- invariant under
- iteration
Sources (1)
via Wikidata · CC0
invariants used to prove properties of loops
via Wikidata · CC0