LOOP INVARIANT


Англо-русский перевод LOOP INVARIANT

ЯП инвариант цикла (утверждение (assertion), которое должно быть истинным при первом выполнении тела цикла и сохранять это значение до момента окончания цикла)

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.