| Wk |
|
Lectures |
TueVdo |
ThuVdo |
HW# |
Wt |
Due Date |
| 1 |
|
Specs of PLs,
Syntax Analysis, Scheme |
0906 |
0908 |
|
|
|
| 2 |
|
ADT Algebraic Specs
•
Guttag's paper |
0913
|
0915 |
|
|
|
| 3 |
|
Programming Paradigms |
0920 |
|
|
|
|
| |
|
Abstract Syntax and its Representation |
|
0922 |
|
|
|
| 4 |
|
Interpreter for a Simple Language |
0927
|
0929 |
HW1 |
5% |
Sep 26 |
| |
|
User-Defined Functions; Scoping |
1004 |
1006 |
|
|
|
| 5 |
|
Axiomatic Semantics
•
Apt's paper
•
Hoare's paper |
1011
|
|
|
|
|
| 6 |
|
Axiomatic Semantics |
|
1013 |
HW2 |
5% |
Oct 17 |
| 7 |
|
Implementing Recursion |
1018 |
|
HW2sol |
|
|
| |
|
Midterm, 8:00 - 9:15 PM |
|
|
Midterm |
30% |
Oct 20 |
| 8 |
|
Imperative Programming •
HW3 slides
|
1025 |
1027 |
P2suppl |
20p |
Nov 07 |
| 9 |
|
Object-Oriented PLs |
1101 |
|
HW3 |
10% |
Nov 07 |
| |
|
Attribute Grammars •
Prasad's paper |
|
1103 |
HW4 |
10% |
Nov 14 |
| A |
|
Streams
•
SICP on Streams |
1108 |
|
HW5 |
10% |
Nov 16 |
| |
|
APL, Perl, Erlang, Prolog, OCAML,
Haskell |
|
1110 |
|
|
|
| B |
|
Final, 8:15 - 10:15 PM in 155 Russ |
|
|
Final |
30% |
Nov 17 |
