This is my best guess as to the rate at which we will cover material. However, schedule will be continuously revised to adjust to reality.
Date | Reading | Topic | Due |
---|---|---|---|
2/9 | 1.1-2.5 | Overview and grammars | |
2/10 | 2.6-2.8 | More on grammars | |
2/11 | 3 | Syntax meets semantics | |
2/13 | 4 | Language systems | |
2/16 | 5 | A first look at ML | HW 1 |
2/17 | A first look at ML, continued | ||
2/18 | Lab 1: ML Programming | ||
2/20 | 6 | Types | |
2/23 | 7 | A second look at ML | |
2/24 | 8 | Polymorphism | |
2/25 | Lab 1 continues | ||
2/27 | 9 | A third look at ML | |
3/2 | 10 | Scope | |
3/3 | 11 | A fourth look at ML | HW 2 |
3/4 | Lab 1 concludes | ||
3/6 | 12.1-12.6 | Activation records | Lab 1 |
3/9 | extra office hour | ||
3/10 | Review/catch-up (take-home exam 1 out) | ||
3/11 | 12.7-12.9 | extra office hour | |
3/13 | 12.7-12.9 | Closures | exam 1 |
3/16 | 13 | A first look at Java | |
3/17 | 14.1-14.4 | Memory management | HW 3 |
3/18 | 15 | A second look at Java | |
3/20 | Lab 2 | Interpreter lab preview | |
3/23 | Lab 2: An Interpreter | ||
3/24 | Bracha 1, 2, 3 | Java generics | |
3/25 | Lab 2 continues | ||
3/27 | Bracha 4, 5, 6 | More Java generics | |
3/30 | Spring Break | ||
3/31 | Spring Break | ||
4/1 | Spring Break | ||
4/3 | Spring Break | ||
4/6 | Spring Break | ||
4/7 | Lab 3 | Generics lab preview | |
4/8 | Lab 2 concludes | HW 4 | |
4/10 | Lab 3: Java Generics | Lab 2 | |
4/13 | Lab 3 continues | ||
4/14 | 16 | Object orientation | |
4/15 | 17 | A third look at Java | |
4/17 | Lab 3 continues | HW 5 | |
4/20 | Lab 3 continues | ||
4/21 | Barbara Liskov video | ||
4/22 | Lab 3 concludes | ||
4/24 | Review/catch-up (take-home exam 2 out) | Lab 3 | |
4/27 | 18 | Parameters | exam 2 |
4/28 | 19.1-19.7 | A first look at Prolog | |
4/29 | 19.8-19.11 | More prolog | |
5/1 | 20.1-20.4 | Prolog implementation | HW 6 |
5/4 | Lab 4: Parsing and Analysis in Prolog | ||
5/5 | 20.5-20.7 | More about Prolog | |
5/6 | Lab 4 continues | ||
5/8 | Lab 4 continues | HW 7 | |
5/11 | Lab 4 continues | ||
5/12 | 21 | Cost models | |
5/13 | 23.1-23.3 | Natural semantics | |
5/15 | Lab 4 concludes | ||
5/18 | 23.4-23.6 | More on semantics | HW 8 |
5/19 | 24 | History of programming languages | Lab 4 |
5/20 | Review/catch-up | ||