Большой англо-русский и русско-английский словарь
ЯП вариант цикла целочисленное выражение, которое должно быть неотрицательным при первом выполнении тела цикла и уменьшаться до нуля с каждой итерацией так, чтобы гарантировать момент окончания цикла
«loop variant»
loop variant в энциклопедиях