CS 4110 (Fall 2012)

Programming Languages and Logics
MWF 9:05-9:55
Hollister 306

Schedule

Key: P = Pierce, W = Winskel

Date Topic Notes Reading Assignments
22 AugustCourse Overviewslides
24 AugustIntroduction to Semanticsslides notes W1-2
27 AugustInductive definitions and proofsslides notes W3HW1 out
29 AugustLarge-step semanticsslides notes W2,P3
31 AugustInterpreters in OCamlcode
3 SeptemberNo class (Labor Day)
5 SeptemberIMP (Lecturer: Arjun Guha)notes HW 2 out
7 SeptemberIMP Properties (Lecturer: Arjun Guha)notes
10 SeptemberDenotational semanticsslides notes W5HW3 out
12 SeptemberExamples using denotational semantics
14 SeptemberAxiomatic semanticsslides notes W6
17 SeptemberHoare logicslides notes HW4 out
19 SeptemberWeakest Preconditionsslides notes W7
21 Septemberλ-calculusnotes P5
23 SeptemberSubstitution and DeBruijn notationnotes P6HW5 out
25 Septemberλ-calculus encodingsnotes P5
24 SeptemberRecursion and definitional translationnotes P5
1 OctoberPreliminary Exam I
3 OctoberAdequacy and Continuationsnotes
5 OctoberCompiling with continuationsnotes
8 OctoberNo class (Fall Break)
10 OctoberType Systemsnotes P8,9HW6 out
12 OctoberNormalizationnotes P12
15 OctoberMore typesnotes P11,13HW7 out
17 OctoberAsync (Lecturer: Yaron Minsky)
19 OctoberPolymorphismnotes P23
22 OctoberProgramming in System Fnotes P23HW8 out
24 OctoberRecords and Subtypingnotes P11,15
26 OctoberType Inferencenotes P22
29 OctoberExistential typesnotes P24HW 9 out
31 OctoberRecursive Typesnotes P20
1 NovemberPropositions as Types (Lecturer: Ross Tate)notes
5 NovemberEssence of JavaScript (Lecturer: Arjun Guha)
7 NovemberLanguage-based Security (Lecturer: Andrew Myers)
9 NovemberFeatherweight Javanotes
12 NovemberFeatherweight Java Propertiesnotes
14 NovemberPreliminary Exam II
16 NovemberCSPnotes
19 NovemberMore CSP
21 NovemberDomain-specific languagesslides HW 11 out
23 NovemberNo class (Thanksgiving)
26 NovemberTyped Assembly Languageslides
28 NovemberTyped Assembly Language IIslides
29 NovemberTyped Assembly Language IIIslides
12 DecemberFinal Exam
Validate XHTML Validate CSS
Last updated August 2012