next up previous contents
Next: Part II of the Up: Easter Term 2003: Part Previous: Project Briefing I   Contents


Semantics of Programming Languages

Lecturer: Dr P.M. Sewell (pes20@cl.cam.ac.uk)

No. of lectures: 12

This course is a prerequisite for Types (Part II), Denotational Semantics (Part II) and Topics in Concurrency (Part II).

Aims

The aim of this course is to introduce the structural, operational approach to programming language semantics. It will show how to specify the meaning of typical programming language constructs, in the context of language design, and how 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.
Pierce, B. C. (2002). Types and Programming Languages. MIT Press.
Winskel, G. (1993). The Formal Semantics of Programming Languages. MIT Press.


next up previous contents
Next: Part II of the Up: Easter Term 2003: Part Previous: Project Briefing I   Contents
Christine Northeast
Wed Sep 4 14:43:05 BST 2002