Semantics of programming languages

Course plan

No of lectures

~ 12 * 2h

Recommended for

Anybody interested in theoretical aspects of computer science and in precise
reasoning about program correctness.

The course was last given

2008 VT

Goals

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.

Prerequisites

Some degree of mathematical maturity; courses on discrete mathematics,
mathematical logic, and formal languages. Some programming
experience and familiarity with a few programming languages.