Introduction to Denotational Semantics

I will give a first introduction to denotational semantics as a tool for specifying formally the meaning of programming languages respectively of programs written in such languages. The presentation is based on selected material from my course on "Formal Semantics of Programming Languages".

Formal Semantics of Programming Languages