Course pages 2012–13
Lecture Slides (New this year):
- Lectures 1-4
- Lecture 5
- Lecture 6
- Lectures 7 and 8
- Lectures 9 and 10
- Lecture 11
- Lecture 12
- Lecture 13-16 :
- Lecture notes from previous years. cc_notes_2013.pdf. The lecture slides have been rewritten this year to present the material via the Slang (Simple LANGuage) compilers. The lecture concepts are about the same as those in these notes, just presented differently.
Associated source code.
- Slang.1 compiler and virtual machines
- Slang.2 compiler (somewhat incomplete)
Acknowledgments. I would like to thank the following people in the lab for their helpful feedback on my slides/code. Of course any deficiencies are my own. ---tgg22.
Pete Calvert, David Chisnall, Kathryn E Gray, David Greaves, Alan Mycroft, Raphael Proust, Peter Sewell, Sam Staton.