CS624 --- Programming Languages

Instructor:

Amr Sabry, DES 313, x6-4411, sabry@cs

Office hours:

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 probably need to run Scheme, Java, ML, and Haskell. I recommend using the following systems (but we have others installed if you are interested):

The Chez Scheme compiler: /local/apps/Lang/scheme/bin/scheme

The JDK version 1.2: /local/apps/Lang/Java/java-1.2/bin/javac and /local/apps/Lang/Java/java-1.2/bin/java

The SML/NJ compiler: /local/apps/sml/bin/sml

An interpreter for quick Haskell tests: /local/apps/Lang/hugs98-Nov1999/bin/hugs

The ghc Haskell compiler: /local/apps/Lang/ghc/bin/ghc

You might also want to install some of these systems on your home machine. 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:

programming assignments (30%)

midterm (30%), final (40%)

additional points at my discretion for solving extra credit problems or for participating in the local programming competition scheduled by the department on April 22.

Tentative Schedule

Date	Topic	Homework Due

M 3/27	Semantics: Denotational, Operational, Axiomatic
W 3/29	Types; Program Verification; Interpreters
F 3/31	Guest lecture by Chris Stone
M 4/3	Environments; Lexical Scope	HW1: Simple ML
W 4/5	Higher-Order Functions
F 4/7	Closures; Recursion
M 4/10	Lambda Calculus: Axioms	HW2: Scheme in ML
W 4/12	Lambda Calculus: Universal Language
F 4/14	NO CLASS or guest lecture
M 4/17	Lambda Calculus
W 4/19	Lambda Calculus
F 4/21	Lambda Calculus
M 4/24	Continuations; Continuation-Passing Style	HW3: Lambda Calculus
W 4/26	Continuations; Continuation-Passing Style
F 4/28	Continuations; Continuation-Passing Style
M 5/1	Review	HW4: CPS
W 5/3	Midterm
F 5/5	Advanced Control
M 5/8	Java statements; Store-Passing Style	HW5: ?
W 5/10	Objects
F 5/12	Objects	Last day to withdraw from classes
M 5/15	Inheritance	HW6: ?
W 5/17	Inheritance
F 5/19	Inheritance
M 5/22	Types	HW7: Java
W 5/24	Types
F 5/26	Types
M 5/29	Memorial Day
W 5/31	Types	HW8: Types
F 6/2	Conclusion; Perspective; Future
W 6/7	Final Exam from 10:15 to 12:15

Page visited

times since November 18, 1996.

sabry@cs.uoregon.edu