JetBrains Research unites scientists working in challenging new disciplines

Seminar on Denotational Semantics

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

Time: 17:10

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28