Unit lecturer: Dr. Clem Baker-Finch

Final examination information:
The paper is 3 hours plus 15 minutes reading. You can take in 2 sides of an A4 sheet of hand-written notes into the exam session.There are 95 marks available. (OK, I made a mistake with my arithmetic and now we have to live with it. Sorry.)
There are 6 questions:If required, the operational and/or denotational semantics of Imp will be given in the paper, so there is no need to fill up your notes with this stuff.
- Functional programming: 20 marks
- Fixpoint theory: 15 marks
- Operational semantics: 15 marks
- Denotational semantics: 15 marks
- Parsing: 15 marks
- Logic programming: 15 marks