loop invariant (Q2238838)
Jump to navigation
Jump to search
invariants used to prove properties of loops
Language | Label | Description | Also known as |
---|---|---|---|
English | loop invariant |
invariants used to prove properties of loops |
Statements
Identifiers
Sitelinks
Wikipedia(12 entries)
- dewiki Schleifeninvariante
- enwiki Loop invariant
- eswiki Ciclo invariante
- euwiki Begizta inbariante
- frwiki Invariant de boucle
- jawiki ループ不変条件
- kowiki 루프 불변성
- nowiki Løkkeinvariant
- plwiki Niezmiennik pętli
- ruwiki Инвариант цикла
- zh_yuewiki 迴圈不變量
- zhwiki 循环不变量