- Week 1
- L1 Introduction
- L2 Syntax introduction
- Week 2
- L3 Application of syntax
- L4 Recursive-descent parsing
- Week 3
- L5 ML (SML) (10 lectures)
- L6 ML-2
- Week 4
- L7 ML-3
- L8 ML-4
- Week 5
(ML exercise 1)
- L9 ML-5
- L10 ML-6
- Week 6
- L11 ML-7
- L12 ML-8
- Week 7
(ML exercise 2)
- L13 ML-9
- L14 ML-10 ... recursive descent in ML
- Week 8
- L15 Axiomatic Semantics (5 lectures)
- L16 AS-2
- Week 9
(exercise 3)
- L17 AS-3
- L18 AS-4
- Week 10
(exercise 4)
- L19 AS-5
- L20 Operational Semantics (3+3)
- Week 11
(exercise 5)
- L21 OS-2
- L22 OS-3
- Week 12
- L23 OS-4 implemented in ML (SML)
- L24 OS-5
- Week 13
(exercise 6, large)
- L25 OS-6
- L26
|
|