Terms for subject Information technology containing loop-invariant

English	Russian
loop invariant	инвариант
loop invariant	неизменяемый цикл
loop invariant analysis	анализ инвариантов цикла