This is a list of the reading for CS263. It is updated as the course
There are two texts for the course:
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 Formal Semantics of Programming Languages, by Glynn Winskel.
- A Theory of Objects,
by Martín Abadi and Luca Cardelli.
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
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).