Terms containing loop invariant

Subject	English	Russian
progr.	developing loops from invariants and bounds	построение циклов, исходя из инвариантов и ограничений (ssn)
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)