Semantics of programming languagesDF21000, 2009VT
No of lectures
~ 10 * 2h
The course was last given
Introduction to formal description techniques for defining semantics
of programming languages.
The intention is to give a solid overview of classical approaches
to semantics of programming languages. We believe this knowledge is
necessary for everybody interested in tools and/or formal methods
dealing with program correctness.
Some degree of mathematical maturity; courses on discrete mathematics,
mathematical logic, and formal languages. Some programming
experience and familiarity with a few programming languages.
The core of the course:
- operational semantics (small step and big step approach)
- denotational semantics, including its mathematical foundations,
- axiomatic semantics, proving program correctness, and basics of
systematic construction of provably correct programs.
Additional subjects to be decided together with the participants.
Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: An Appetizer. Springer, 2007.
Page responsible: Director of Graduate Studies
Last updated: 2012-05-03