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.
- Chris Hankin, Hanne Riis Nielson, Jens Palsberg. Strategic Directions
for Research on Programming Languages. ACM Computing Surveys,
- Functional languages
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
- 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
- C. Chambers. Object-Oriented Multi-Methods in Cecil. In ECOOP
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).
Read by Tuesday 2/29/2000:
Department of Computer Science & Engineering|
University of Washington
Seattle, WA 98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX