This is a list of the reading for CS263. It is updated as the course
progresses.
There are two texts for the course:
- The Formal Semantics of Programming Languages, by Glynn Winskel.
- A Theory of Objects,
by Martín Abadi and Luca Cardelli.
In order to learn Java,
you can go to Sun's web pages
or you can pick a text, such as
Java in a Nutshell, by David Flanagan.
(If you have not used Java in Berkeley before, you may want to look at
some local Java information.)
The reading for the course also includes the following papers:
- Hints on Programming-Language Design, by C. A. R. Hoare
(in Essays in Computing Science, by C. A. R. Hoare and C. B. Jones, 1989).
- Conception, Evolution, and Application of Functional Programming
Languages,
by Paul Hudak (in ACM Computing Surveys, Vol. 21, No. 3, 1989).
- Real Programming in Functional Languages, by James H. Morris
(in Functional Programming and Its Applications, edited by
John Darlington, Peter Henderson, and David A. Turner, 1982).
- Type Systems, by Luca Cardelli
(in CRC Handbook of Computer Science and Engineering, 1996).
- Organizing Programs without Classes, by David Ungar,
Craig Chambers, Bay-Wei Chang, and Urs Hölzle
(in Lisp and Symbolic Computation, Vol. 4, No. 3, 1991).
- Kevo - A prototype-based object-oriented language based on concatenation
and module operations, by Antero Taivalsaari (Report LACIR 92-02, University
of Victoria, 1992).
- A Proposal Regarding Invisible Logic for Object-Oriented Languages,
by Bjørn Stavstrup
(in Journal of Object-Oriented Programming, March/April 1992).
- Engineering a Programming Language: The Type and Class System of Sather,
by Clemens Szypersky, Stephen Omohundro, and Stephan Murer
(ICSI Techreport TR-93-064, 1993).
Martín Abadi