| English | Russian |
| default loop invariant | инвариант цикла по умолчанию (adacore.com Alex_Odeychuk) |
| developing loops from invariants and bounds | построение циклов, исходя из инвариантов и ограничений (ssn) |
| loop invariant | постоянная цикла (тж. инвариант цикла; значение константы или выражения, которые не изменяются в данном цикле. Syn: loop constant ssn) |
| loop invariant code motion | вынос инвариантного кода за цикл (ssn) |
| loop invariant hoisting | поднятие инварианта цикла (IBM Alex_Odeychuk) |
| loop invariants | инварианты циклов (ssn) |
| loop-invariant | инвариантный относительно цикла (ssn) |
| loop-invariant computation | вычисление, инвариантное относительно цикла (ssn) |
| proof of correctness in terms of loop invariants | доказательство правильности в терминах инвариантов циклов (ssn) |