Исследовательская группа

Лаборатория языковых инструментов

Введение в денотациoнную семантику

February 29

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

Материалы к докладу: F.Nielson, H-R.Nielson. Semantics with Applications. Wiley Professional Computing, 1992, 252 p., (chapter 4).

Докладчик: Дмитрий Булычев.