Semantics of Programming Languages
2004-05
Principal lecturer: Dr Peter Sewell
Taken by: Part IB
Syllabus
Past exam questions
12 lectures, TT 10-11 in Lecture Theatre 1, Tuesday 25 Jan - Thursday 3 March.
Notes: colour,
(ps) and (pdf) , and monochrome,
(ps) and (pdf).
Errata for the printed notes,
(ps) and (pdf).
An extra mock Tripos question,
(ps) and (pdf).
Model implementations of the languages
- L1 (in ML),
- L1 (in Java), and
- L2 (in ML).
Moscow ML is installed on the Intel Lab
machines. If you want to work with the implementations on your own machine instead, there are Linux, Windows, and Mac versions of Moscow ML
available here.
|
