CS624 --- Programming Languages

Instructor:
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.

Textbooks:
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.

Software:

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.

Assignments:
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.

sabry@cs.uoregon.edu