CS 565: Readings

Required Texts

• Friedman, Wand, and Haynes, Essentials of Programming Languages, McGraw-Hill, 1992.

• Palsberg and Schwartzbach, Object-Oriented Type Systems, Wiley, 1994.

• Kozen, Palsberg, and Schwartzbach, Efficient Recursive Subtyping, Mathematical Structures of Computer Science (5)1:113-125, 1995 (ps).

• Heintze and McAllester, Linear-time Subtransitive Control Flow Analysis, Proc. ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, pages 261--272, 1997 (ps).

Recommended Texts

• Flanagan, Java in a Nutshell, O'Reilly, 1996.

• Niemeyer and Peck, Exploring Java, O'Reilly, 1996.

• Gamma, Helm, Johnson, and Vlissides, Design Patterns, Addison-Wesley, 1995.

Supplementary Readings

• The JavaSoft homepage.

• Is Scheme faster than C?.

• Palsberg and O'Keefe, A Type System Equivalent to Flow Analysis, ACM Transactions on Programming Languages and Systems 17(4): 576-599, July 1995 (ps).