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


Denotational Semantics

Lecturer: Professor G. Winskel

No. of lectures: 8

Prerequisite course: Semantics of Programming Languages (specifically, an idea of operational semantics and how to reason from it)


Aims


The aims 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 2003: Part Previous: Computer Systems Modelling   Contents
Christine Northeast
Thu Sep 4 15:29:01 BST 2003