процедур, функций и других лексических единиц языков программирования – это
установление однозначного соответствия между данными объектами и их именами в тексте исходной программы.
Идентификация лексических единиц языка чаще всего выполняется на этапе семантического анализа.
Примерный перечень действий компиляторов для идентификации переменных, констант, функций, процедур и других лексических единиц языка:
имена локальных переменных дополняются именами тех блоков (функций, процедур), в которых эти переменные описаны;
имена внутренних переменных и функций модулей исходной программы дополняются именем самих модулей, причем это касается только внутренних имен и не должно происходить, если переменная или функция доступны извне;
имена процедур и функций, принадлежащих объектам (классам), в объектно-ориентированных языках программирования дополняются наименованием типа объекта (класса), которому они принадлежат;
имена процедур и функций модифицируются в зависимости от типов их формальных аргументов.