cs296-1
Programming Languages:
A Survival Kit

Instructor

Shriram Krishnamurthi

Credit

This course will count

Venues and Time

Monday: 3-5pm, CIT 506
Wednesday: 3-5pm, CIT 219
Friday: 3-5pm, CIT 506

Schedule

TopicPersonDates
model checkingKathi1/29, 1/31
control-flow analysessk2/7, 2/9
dependent typesdbtucker2/12, 2/14
mixin layers and product-line architecturessk2/21, 2/23
multi-methodsgreg2/26, 2/28
typed intermediate languagesocolbert3/5, 3/7
polytypic programmingbpytlik3/12, 3/14
separation of concernsrob3/19, 3/21
interoperability, types and effectsdpb4/9, 4/11
concept analysiser4/11, 4/13

[Frankfurt subway map]


Last modified Monday, March 19th, 2001 10:00:56pmPowered by PLT