next up previous contents
Next: Digital Communication II Up: Michaelmas Term 2001: Part Previous: Computer Systems Modelling   Contents

Denotational Semantics

Lecturer: Professor G. Winskel (gw104@cl.cam.ac.uk)

No. of lectures: 8

Prerequisite course: Semantics of Programming Languages


Aims


The aim of this course are to introduce domain theory and denotational semantics, and show how they can provide a mathematical basis for reasoning about the behaviour of programming languages.


Lectures


Objectives


At the end of the course students should:


Recommended books


Winskel, G. (1993). The Formal Semantics of Programming Languages. MIT Press.
Tennent, R.D. (1991). Semantics of Programming Languages. Prentice-Hall.



next up previous contents
Next: Digital Communication II Up: Michaelmas Term 2001: Part Previous: Computer Systems Modelling   Contents
Christine Northeast
Tue Sep 4 09:34:31 BST 2001