What do you need to know for the exam?

From the book by Nielson, Nielson and Hankin you are expected to study the following sections: 1.1-1.3, 1.6, 2.1-2.5, 4.2-4.4, 5.1, 5.2 and 5.4.

The slides serve as a summary of what I find most important, but remember that material not discussed during the lecture may show up in the exam. Particulars of the assignments have done may also show up in the exam. Some sets of slides (for the final lectures) are to be studied as is: there is additional material to support it, but you need not go look for it.

NB. I’ll be adding more material after I have decided what exactly will be discussed in the new lectures for the course.

Sample exam

This is last year’s exam, and should be considered typical for the main topics of the course: attribute grammars, monotone frameworks and type and effect systems.