Topics in Programming Languages and
Systems:
Operational Semantics
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