Week

Date

Topic

Homework

1

7^th Jan

Overview/Introduction
Assigned reading:

• Why Functional Programming Matters; John Hughes

9

Unit I

Lambda calculus

• Introduction to Lambda Calculus; H. Barendregt and E. Barendsen

Hw 1 handout

2

14

16

Unit II

Scheme + Interpreters (Handout #1; Handout #2)

• An Introduction to Scheme and its implementation; P. Wilson (HTML)
• Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs
• P. Klint, "Interpretation Techniques", Software Practice and Experience, Vol. 11, No.9, pp. 963-973, September 1981

Project I handout

3

21

Hw1 due

23

4

28

Unit III

Language runtime environment: (VM; Allocator; Garbage Collector)

• The Java Virtual Machine Specification (second edition) by Tim Lindholm and Frank Yellin

• Inside the virtual machine; Bill Venners

• Dynamic class loading in the Java virtual machine;S. Liang and G. Bracha; OOPSLA 1998
• Dynamic Storage Allocation: A Survey and Critical Review;  P. R. Wilson, M. S. Johnstone, M. Neely, and D. Boles.  In International Workshop on Memory Management'95
• Uniprocessor Garbage Collection Techniques. Paul R. Wilson.  Draft of much expanded version of the above paper. In revision (accepted for ACM Computing Surveys).

Project I: part 1 due

30

5

4^th Feb.

Project I: part 2 due

6^th

Midterm

6

11

Unit IV

Programming abstractions

Project II Handout

13

7

18

Project I: part 3 due

20

Unit I

Type Systems

• Type Systems. By Luca Cardelli.

Project III Handout

8

25

Project II due

27

Unit I

Introduction to Programming language semantics (Denotational Semantics)

• Overview of programming semantics techniques; David Schmidt. The Computer Science and Engineering Handbook 1997: 2237-2254
• The Denotation Semantics of Programming Languages; D. Tennet. CACM 1976.

9

4th March

Final project handout
Homework 2 due

6

Project III due

10

11

13

Summary

Final project due

Homework 3 due

11

19

Final: 8:00 – 10:00 AM.