Цикл с предварительной проверкой (pretest loop) — схема управления циклом, в которой производится предварительная проверка до входа в тело цикла.
Пример. Цикл «for» языка Ада.
Примечание. Как правило, цикл с предварительной проверкой предпочтительней цикла с заключительной проверкой, так как в последнем возможно выполнение цикла до выполнения первой проверки.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]