Programming Languages

Tentative Syllabus

Week Date Topic Reading Lectures Homework Homework Solutions
1 1/24 No Recitation        
1 1/26 Programming Languages Overview PLP 1,2.1,2.2.1 ps pdf ps(4up) pdf(4up) ps pdf Available
2 1/31 Recitation    pdf    
2 2/2 Names, Scopes, and Bindings 3.1-3.4 except 3.3.4 and 3.3.5 ps pdf ps(4up) pdf(4up) ps pdf Available
3 2/7 Recitation     pdf    
3 2/9 Control Flow 6.1-6.5 ps pdf ps(4up) pdf(4up) ps pdf Available
4 2/14 Recitation    pdf Dafny example    
4 2/16 Subprograms: functions and procedures 3.6, 6.6, 7.4, 8.1-8.3 ps pdf ps(4up) pdf(4up) ps pdf Available
5 2/21 Recitation    pdf    
5 2/23 Functional Programming 10, including 10.6.1 on the CD
Lambda Calculus, Scheme resources
ps pdf ps(4up) pdf(4up)
Scheme code from class
ps pdf Available
6 2/28 Recitation    pdf rtk    
6 3/1 Types, part 1 7 ps pdf ps(4up) pdf(4up)
ps pdf
unsat data for hw6
sat data for hw6
 
7 3/6 Recitation    rtk    
7 3/8 Types, part 2 7 ps pdf ps(4up) pdf(4up) Suggested practice problems:
ps pdf
Available
Spring Break
8 3/20 Midterm: 8:10-9:00pm, room 102 WWH       Available
8 3/22 ML Programming in ML ps pdf ps(4up) pdf(4up)    
9 3/27 Recitation   sml  
9 3/29 Program Structure 3.3.4, 3.3.5, 3.7 ps pdf ps(4up) pdf(4up) ps pdf
sml code for hw7
 
10 4/3 Recitation        
10 4/5 Object-Oriented Programming, part 1 9 ps pdf ps(4up) pdf(4up)    
11 4/10 Recitation        
11 4/12 Object-Oriented Programming, part 2   ps pdf ps(4up) pdf(4up)    
12 4/17 Recitation        
12 4/19 Generic Programming 8.4 ps pdf ps(4up) pdf(4up) ps pdf
starting code
Makefile Tutorial
STL Tutorial
 
13 4/24 Recitation    pdf    
13 4/26 Exceptions 8.5 ps pdf ps(4up) pdf(4up)    
14 5/1 Recitation    cpp    
14 5/3 Concurrency and Scripting Languages12, 13 ps pdf ps(4up) pdf(4up)
ps pdf ps(4up) pdf(4up)
   
  5/10 Final Exam 7:10-9:00pm, 109 WWH