Seminars
Seminar instructors:
During the seminars we will solve exercises that illustrate concepts from the lectures. You should try to solve most of the exercises on your own before each seminar.
The seminar problems will appear during the course. The problems used last year are available on the 2009 course page.
| Seminar | Topics | Problems (Additional problems may be added after the Wednesday lecture.) |
|---|---|---|
| S1 (week 2) | Structural induction, Semantic functions | 1.pdfsol1.pdf |
| S2 | Lambda calculus, Operational semantics | 2.pdfsol2.pdf |
| S3 | While compiler, Domain theory. | 3.pdfsol3.pdf |
| S4 | Cancelled. | |
| S5 | Continuation, axiomatic and weakest precondition semantics. | 4.pdfsol4.pdf |
| S6 | Mixed problems | 5.pdfsol5.pdf |