LOOP INVARIANT


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.