Процесс распределения памяти в современных компиляторах, как правило, работает с абсолютными адресами ячеек памяти:
Распределение памяти на локальные и глобальные области определяется семантикой языка исходной программы:
Семантический анализатор дополняет внутреннее представление программы в компиляторе операторами и действиями, неявно предусмотренными семантикой входного языка:
Семантический анализатор проверяет элементарные нормы языка программирования, напрямую не связанные с входным языком:
Смысл оператора в программе не зависит от семантических соглашений: