Sample Exam 1
Solutions to Sample Exam 1

Midterm Recess — No Classes 10/13 F Hoare Logic Exam 1 Review 10/15 M Sample Exam 1 Essentials, ch. 5 Exam 1 distributed in class, 10/17
Binding/bound occurrences, Problem 3
Call-by-name hand evaluation, Problem 5(i)
Call-by-value hand evaluation, Problem 5(ii) 21 10/17 W Object-Oriented Languages
Featherweight Java (Optional) Project 4 due 12 noon, 10/21
Project 5 and 5xc assigned, 10/21 21 (cont.) 10/19 F