Topics in Programming Languages and Systems:

Operational Semantics

Shriram Krishnamurthi

Fall 2004

class photo

The course meets M hour (Monday, 1500-1730hrs) in CIT 368.

Our primary textbook is Semantics with Applications: A Formal Introduction by Hanne Riis Nielson and Flemming Nielson.  This excellent book is sadly out of print but, happily for us, still available in full on the Web.  This semester, we will study only the operational semantics sections of this book.

Project Teams

FrTime: 

greg [leader]
gmarceau
phopkins
XACML: 
mtschant [leader]
casey
lmeyerov
mgreenbe

Course Schedule

DATE     SECTION        PRESENTER     BUDDY
09/27    2.1            Meyerovich    Hopkins
10/04    2.2            Greenberg     Marks
10/13    2.3            Tschantz      Meyerovich  [class meets in CIT 345]
10/18    2.4            Marks         Greenberg
10/25    2.5            Hopkins       Marceau
11/01    ClassicJava    Cooper        Tschantz
11/08    3              Marceau       Cooper