CS 4110 (Fall 2014)

Programming Languages and Logics
MWF 9:05-9:55
Gates G01

Schedule

Key: P = Pierce, W = Winskel

Date Topic Notes Reading Assignments
27 AugustCourse Overviewslides
29 AugustIntroduction to Semanticsslides notes W 1-2
1 SeptemberNo class (Labor Day)
3 SeptemberInductive definitionsslides notes W 3HW1 out
5 SeptemberInductive proof and Large-step Semanticsslides notes W 2, P 3
8 SeptemberIMPslides notes code W 2
10 SeptemberIMP Propertiesslides notes HW1 due; HW2 out
12 SeptemberDenotational Semanticsslides notes W 5
15 SeptemberDenotational Semantics Examplesnotes
17 SeptemberAxiomatic Semanticsslides notes W6HW2 due; HW3 out
19 SeptemberHoare Logicslides notes
22 SeptemberHoare Logic Examplesslides
24 SeptemberWeakest Preconditionsslides notes W7HW3 due; HW4 out
26 SeptemberLambda-calculusnotes P5
29 SeptemberMore Lambda-calculus and Substitutionslides notes P5
1 OctoberNo class (CS 50th / Gates Dedication)
3 OctoberLambda-calculus Encodingsslides notes
6 OctoberPreliminary Exam I
8 OctoberExam Debrief
10 OctoberProgramming in the Lambda-calculusslides notes
13 OctoberNo class (Fall break)
15 OctoberDefinitional Translation and Continuationsslides notes HW5 out
17 OctoberSimple Typesnotes
20 OctoberProving Type Soundnessnotes
22 OctoberNormalizationslides notes HW5 due; HW6 out
24 OctoberAdvanced Typesslides notes
27 OctoberPolymorphismslides notes
29 OctoberType Inferenceslides notes HW 6 due; HW7 out
31 OctoberCompiling with Continuationsslides notes
3 NovemberRecords and Subtypingslides notes
5 NovemberExistential Typesslides notes HW7 due; HW 8 out
7 NovemberRecursive Typesslides notes
10 NovemberPropositions as Typesslides notes
12 NovemberFeatherweight Javaslides notes HW 8 due
14 NovemberPreliminary Exam II
17 NovemberFeatherweight Java Propertiesslides notes
19 NovemberExam DebriefHW 9 out
21 NovemberTyped Assembly Language Islides
24 NovemberTyped Assembly Language IIslides
26 NovemberNo class (Thanksgiving)
28 NovemberNo class (Thanksgiving)
1 DecemberTyped Assembly Language IIIslides HW 10 out
3 DecemberConcurrencyslides
5 DecemberVictory Lapslides
Validate XHTML Validate CSS
Last updated December 2014