next up previous contents
Next: Concurrent Systems Up: Michaelmas Term 1999: Part Previous: ECAD

Semantics of Programming Languages

Lecturer: Dr A.M. Pitts (ap@cl.cam.ac.uk)

No. of lectures: 12

This course is a prerequisite for Types (Part II).


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.


Lectures

Objectives


At the end of the course students should

Recommended books


Hennessy, M. (1990). The Semantics of Programming Languages. Wiley.
Winskel, G. (1993). The Formal Semantics of Programming Languages. MIT Press.



next up previous contents
Next: Concurrent Systems Up: Michaelmas Term 1999: Part Previous: ECAD
Christine Northeast
Mon Sep 20 10:28:43 BST 1999