CS624 --- Programming Languages

Amr Sabry, DES 313, x6-4411, sabry@cs
GTF: John Fiskio-Lasseter, DES 234, x6-1385, johnfl@cs

Office hours:
Amr: M 11-12 and W 10-12.
John: Just drop by.

D. P. Friedman, M. Wand, and C. T. Haynes, Essentials of Programming Languages, MIT Press 1992.

You will probably need books on Java and Scheme. Pick your favorite.

I will also hand out some papers.


On the CS machines, you will need to run Scheme and Java:

You might also want to install some Scheme and Java compilers on your PC. Again pick your favorite.

Yes. Handwritten code or code that does not compile is unacceptable. You are welcome to work in groups but please say so.

Grading Policy:
Your grade will be calculated as follows:
These weights are subject to minor variation.

Tentative Schedule

Date Topic Homework Due
M 3/29 Introduction; Java
W 3/31 Semantics: Denotational, Operational, Axiomatic
F 4/2 Semantics: Interpreters; Types; Program Verification
M 4/5 Environments; Lexical Scope HW1: Simple Java
W 4/7 Higher-Order Functions
F 4/9 Closures; Recursion
M 4/12 Lambda Calculus: Axioms HW2: Scheme in Java
W 4/14 Lambda Calculus: Universal Language
F 4/16 Lambda Calculus
M 4/19 Continuations HW3: Lambda Calculus
W 4/21 Continuation-Passing Style
F 4/23 Continuation-Passing Style: Recursion to Iteration
M 4/26 Exceptions HW4: CPS
W 4/28 Exceptions
F 4/30 No class
M 5/3 Midterm HW5: Exceptions
W 5/5 Store-Passing Style
F 5/7 Java statements in Scheme
M 5/10 Objects HW6: Core Java in Scheme
W 5/12 Objects
F 5/14 Inheritance
M 5/17 Verifying Properties of Programs HW7: Objects in Scheme
W 5/19 Types
F 5/21 Types
M 5/24 Types
W 5/26 Types
F 5/28 Types
M 5/31 Memorial Day HW8: Types
W 6/2 Conclusion; Perspective; Future
F 6/4 Final Review; Teaching Evaluation
M 6/7 Final Exam from 3:15 to 5:15

Page visited times since November 18, 1996.