LOOP INVARIANT


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

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

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