Denotational style of semantic description considers the semantic of a program as a function (in mathematical sense) acting in a certain domain. The function is built inductively on abstract syntax using functional operators, which can be language-specific. This approach results in a compositional description, which constitutes the strongest point of denotational approach. The application of denotational approach often requires to involve a rather advanced theories like topology or category theory; however the basics can be easily described in a nutshell.
Supplementary material: F.Nielson, H-R.Nielson. Semantics with Applications. Wiley Professional Computing, 1992, 252 p., (chapter 4).
Presenter: Dmitry Boulytchev.
Date: February 29, 2016
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28