CS217 Programming Languages Spring 2000
4a CMC 319
Roger Kirchner CMC 222 x4368 (home: 645-6895)
rkirchne@mathcs.carleton.edu
Text: Essentials of Programming Languages, 2nd Edition, by Friedman, Wand and Haynes
Tentative CS217 Syllabus
Day Date Topic Assignment
1 M M27 Day 1 Intro to Scheme/Emacs Read 1.1, 1.2. Assignment 1, due 4/3/00. assgn1sol.scm assgn1test.scm
2 W M29 Day 2 Induction and Recursively specified programs
3 F M31 Day 3 Patterns of Recursion
4 M A3 Day 4 Scoping and Binding of Variables Read 1.3, 2.2.2. Assignment 2 Due 4/10/00 assgn2test.scm
5 W A5 Day 5 Lexical Address Using Abstract Syntax
6 F A7 Day 6Free/Bound Vars in Abstract Syntax
7 M A10 Day 7 Data Abstraction Read 2.1-2.4 Assignment 3 revised Due 4/17/00
8 W A12 Day 8 Data Abstraction II, Primitive Expressions
9 F A14 Day 9 -- Quiz on Scheme and Data Abstraction Quiz 1
10 M A17 Day 10 Environment Passing Interpreters I Read 3.1-3.5Assignment 4 Due 4/24/00
11 W A19 Day 11 EPI II Conditional Evaluation
12 F A21 Day 12 EPI III Local Binding, Procedures
13 M A24 Day 13 Lexical vs Dynamic Binding, Recursion I Read 3.6 Assignment 5
14 W A26 Day 14 Recursion II
15 F A28 Day 15 MidTerm Exam In-Class Part Take-Home Part In-Class Solutions
M M1 Midterm Break
16 W M3 Day 16 Assignment, Parameter Passing I Read 3.7, 3.8 Assignment 6
17 F M5 Day 17 Parameter Passing II, Loops
18 M M8 Day 18 Continuation Passing Interpreters Read 4.1, 6.1 Assignment 7
19 W M10 Day 19 CPI II, Scheme.java
20 F M12 Day 20 Implementing Exceptions, While-Do; Exceptions in Java
21 M M15 Day 21 A Simple OOL Interpreter Assignment 8
22 W M17 Day 22 Defined OOL, School -- Scheme OOL
23 F M19 Day 23 DOOL, School, Java
24 M M22 Day 24 Types, Type Checking Assignment 9 -- Project
25 W M24 Day 25 A Simple Typed OOL
26 F M26 Day 26 Program Correctness
27 M M27 Day 27 Projects I
28 W M29 Day 28 Projects II
Final Exam: Quizes (%), Midterm (%), HW/Class participation/Project (%), Final (%)