CS 611: Semantics of Programming Languages

Handouts

  1. Course information including syllabus.

  2. Setting up and using SML
  3. Necula and Lee's "Safe kernal extensions without run-time checks"
  4. Sample midterm questions dvi ps
  5. Last year's scribe notes on the Science of Programming
  6. Midterm dvi ps. Solution set dvi ps.
  7. Final Exam.(ps)
       (12/1) Revised version. Changes to question 2.
    (12/14) Solution set (dvi ps).

18 Jun 1999