Форма управления с промежуточной проверкой (Management form with intermediate verification ) — базовая операция типа, определяющая ветвление управления в программе без окончательного вычисления логических выражений в условиях ветвлений, если ветвление определено уже вычисленной частью выражения.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]