Assignments
This year there will be an option to do a number of voluntary programming assignments an have a special exam related to these assignments.| Contents | Specification | Deadline | Solution | |
| A1 | Model for While | A1.pdf | 2009-03-30 |
Haskell A1.zip
Java A1-java.zip |
| A2 | Operational semantics | A2.pdf | 2009-04-20 | |
| A3 | Prolog execution model | A3.pdf | 2009-05-04 | |
| A4 | A compiler/interpreter | A4.pdf | 2009-05-11 | |
| A5 | Denotational semantics | A5.pdf | 2009-05-18 |