CSE583 Readings (Winter 2000)

Here are the readings for the first several weeks; I will update this page as we go along, trying to stay ahead by several weeks.

Read by Tuesday 1/11/2000:

General issues in programming languages and programming language design
- Niklaus Wirth: On the Design of Programming Languages. In IFIP Congress 1974: 386-393.
- C.A.R. Hoare. Hints on Programming Language Design. In SIGACT/SIGPLAN Symposium on principles of programming languages, October 1973.
  - An old version as a technical report.
- Chris Hankin, Hanne Riis Nielson, Jens Palsberg. Strategic Directions for Research on Programming Languages. ACM Computing Surveys, December 1996.
Functional languages
- Paul Hudak. Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Surveys, September 1989.
  - PDF
- Robert Harper. Web site on an Introduction to Standard ML.

Read by Tuesday 1/25/2000:

Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys 17,4 (1985).

Read by Tuesday 2/8/2000:

G. Kiczales, J.M. Ashley, L. Rodriguez, A. Vahdat, D.G. Bobrow. Metaobject protocols: Why we want them and what else they can do. In Object-Oriented Programming: The CLOS Perspective. A. Paepcke, editor. MIT Press (1993).
L. Cardelli. The semantics of multiple inheritance. Information and Computation, 76(2/3):138-164, February/March 1988.
- Note: When and if the math gets tough for you, it's OK to start skimming.
C. Chambers. Object-Oriented Multi-Methods in Cecil. In ECOOP '92.

Read by Tuesday 2/15/2000:

M.R. Genesereth, M.L. Ginsberg. Logic Programming. Communications of the ACM (September 1985).
D. Matuszek. A Concise Introduction to Prolog. (A short, adequate description of the key aspects of Prolog.)

Read by Tuesday 2/22/2000:

J. Cohen. Constraint Logic Programming. Communications of the ACM (July 1990).
- PDF

Read by Tuesday 2/29/2000:


	Department of Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to notkin@cs.washington.edu]