This section provides lecture topics for each class session, along with assignment due dates.
6.821 Programming Languages
Fall 2002
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Department of Electrical Engineering and Computer Science
|
|
|
|
|
|
MONTH |
|
|
|
SESSION ONE |
|
|
|
SESSION TWO |
|
|
|
|
|
|
|
|
|
|
|
September |
|
|
|
|
|
|
|
Operational Semantics, PostFix
PS1 Out
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Operational Semantics, Domains
PS1a Due |
|
|
|
Definitional Interpreters & Translators |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Denotational Semantics
PS1b Due, PS2 Out |
|
|
|
Fixed Points |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FL
PS2 Due, PS3 Out |
|
|
|
Naming I |
|
|
|
|
|
|
|
|
|
|
|
October |
|
|
|
Naming II
PS3 Due, PS4 Out |
|
|
|
State I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Modeling State |
|
|
|
Control I
PS4 Due, PS5 Out |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Control II |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Explicit Types
PS5 Due |
|
|
|
Midterm In-class Through Control II |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Type Reconstruction
PS6 Out |
|
|
|
Polymorphic Type I |
|
|
|
|
|
|
|
|
|
|
|
November |
|
|
|
Polymorphic Type II
PS6 Due, PS7 Out |
|
|
|
Pattern Matching, Abstract Types |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Concurrency
PS7 Due, PS8 Out |
|
|
|
Effects |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Java Language Design/Applets |
|
|
|
Pragmatics I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pragmatics II |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
December |
|
|
|
Pragmatics III
PS8 Due |
|
|
|
To Be Announced |
|
|
|
|
|
|