Описание тега denotational-semantics

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