Semantics of Programming Languages

Prof. Tobias Nipkow, Wintersemester 2010/11

On this page: News Lecture and Exercises Homework Aims Important notice Literature Student feedback Evaluation talk

News

Slides and Files

Slides (21.1.: p. 442)

Exercises

If you use the Mercurial version control system, you can synchronize these files automatically: hg clone https://www4.in.tum.de/~krauss/hg/semantics_website
[ view changelog ]

Homework

Homework is the heart and soul of this course.

Aims

The aim of this course will be to introduce the structural, operational approach to programming language semantics. It will show how this formalism is used to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs and of tools like program analyzers and compilers. For the reasoning part the theorem prover Isabelle will be used.

At the end of the course students should

Important notice

Literature

Anonymous student feedback

Talk

I have recently given invited talks about this course in a number of places.