Денотационная семантика

Денотационная семантика сопоставляет программным конструкциям математические значения. Например, выражение может обозначать функцию, которая по окружению переменных возвращает результат.

Значение составной конструкции определяют через значения её частей. В отличие от описания шагов вычисления, этот подход выражает смысл программы через математическую модель; выбор модели зависит от свойств языка.