Computer Laboratory > Teaching > Course material 2007–08 > Computer Science Tripos Syllabus and Booklist 2007-2008 > Semantics of Programming Languages

next up previous contents
Next: Software Engineering Up: Michaelmas Term 2007: Part Previous: Prolog   Contents


Semantics of Programming Languages

Lecturer: Dr P.M. Sewell

No. of lectures: 12

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

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 reading

Hennessy, M. (1990). The semantics of programming languages. Wiley. Out of print, but available on the web at http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz
* 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: Software Engineering Up: Michaelmas Term 2007: Part Previous: Prolog   Contents