Course pages 2012–13

Compiler Construction

Lecture Slides (New this year):

• Lectures 1-4
  • One-slide per page: cc2013_L1_to_L4.pdf
  • Two-slides per page: cc2013_L1_to_L4_2up.pdf (large file)
• Lecture 5
  • One-slide per page: cc2013_L5.pdf
  • Two-slides per page: cc2013_L5_2up.pdf (large file)
• Lecture 6
  • One-slide per page: cc2013_L6.pdf
  • Two-slides per page: cc2013_L6_2up.pdf (large file)
• Lectures 7 and 8
  • One-slide per page: cc2013_L7_L8.pdf
  • Two-slides per page: cc2013_L7_L8_2up.pdf (large file)
• Lectures 9 and 10
  • One-slide per page: cc2013_L9_L10.pdf
  • Two-slides per page: cc2013_L9_L10_2up.pdf (large file)
• Lecture 11
  • One-slide per page: cc2013_L11.pdf
  • Two-slides per page: cc2013_L11_2up.pdf (large file)
• Lecture 12
  • One-slide per page: cc2013_L12.pdf
  • Two-slides per page: cc2013_L12_2up.pdf (large file)
• Lecture 13-16 :
  • One-slide per page: cc2013_L13_to_L16.pdf
  • Two-slides per page: cc2013_L13_to_L16_2up.pdf (large file)
• 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
  • The compiler (in mosml) slang1.tar.gz
  • [Fri Feb 1 15:24:08 GMT 2013] Use the following version that contains a few simple bug fixes: slang1v2.tar.gz
  • The Virtual Register Macine (VRM.0, in C) vrm0.tar.gz
  • The Virtual Stack Macine (VSM.0, in C) vsm0.tar.gz
  • Slang1_Programming_Exercises.txt
• Slang.2 compiler (somewhat incomplete)
  • The compiler (in mosml) slang2.tar.gz
  • Slang2_Programming_Exercises.txt

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.