Контроль типа (type control) — операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.
Примечание 1. Выражение отнесено к определенному типу правильно, если тип данных каждого оператора каждого выражения соответствует требуемому типу данных.
Примечание 2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.
[ГОСТ Р 54136-2010. Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь]