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