Базовый регистр - ячейка для хранения начального адреса последнего экземпляра памяти процедуры:
Верификация программы - задача проверки семантических соглашений входного языка:
Все лексические единицы языка требуют для себя выделения памяти:
Идентификация переменных - установление однозначного соответствия между данными объектами и их именами в тексте исходной программы:
Имена локальных переменных дополняются именами тех блоков (функций, процедур), в которых эти переменные описаны:
Локальная область памяти - область памяти, которая выделяется один раз при инициализации результирующей программы:
Область видимости - ограничение употребления имени переменной рамками блока, где эта переменная описана:
Область памяти - блок ячеек памяти, выделяемый для данных, каким-то образом объединённых логически:
Правило распределения памяти для структур - сумма размеров памяти по всем полям структуры:
Процесс распределения памяти в современных компиляторах работает с абсолютными адресами ячеек памяти:
Распределение памяти на локальные и глобальные области целиком определяется синтаксисом языка исходной программы:
Семантический анализатор дополняет внутреннее представление программы в компиляторе операторами и действиями, неявно предусмотренными семантикой входного языка:
Семантический анализатор проверяет элементарные нормы языка программирования, напрямую не связанных с входным языком:
Семантическое соглашение - проверка правильности оператора:
Смысл оператора в программе зависит от семантических соглашений:
Статическая область памяти - область памяти, размер которой известен на этапе компиляции: