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. OOTS Errata.

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

• Wand, A Simple Algorithm and Proof for Type Inference, Fundamenta Informaticae 10:115-122, 1987 (ps).

• Morrisett, Walker, Crary, and Glew, From System F to Typed Assembly Language, Extended version of a paper in Proceedings of POPL'98, 25th Annual SIGPLAN--SIGACT Symposium on Principles of Programming Languages, pp 85-97, January 1998 (ps).

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

• Bokowski and Vitek, Confined Types, in Proceedings of ACM SIGPLAN 1999 Conference on Object-Oriented Programming Languages, Systems, and Applications, 1999 (ps).

• Collberg, Thomborsen, and Low, Manufactoring Cheap, Resilient, and Stealthy Opaque Constructs , in Proceedings of ACM 1998 Symposium on Principles of Programming Languages, pages 184--196, 1998 (ps).

• Collberg and Thomborsen, Software Watermarking: Models and Dynamic Embeddings, in Proceedings of ACM 1999 Symposium on Principles of Programming Languages, pages 311--324, 1999 (ps).

Recommended Texts

• Flanagan, Java in a Nutshell, 2nd Edition, O'Reilly, 1997.

• 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?.

• Kozen, Language-Based Security, in Proceedings of MFCS'99, Mathematical Foundations of Computer Science, Springer-Verlag, (ps).

• Leroy, An overview of Types in Compilation, in Proceedings of TIC'98, Types in Compilation, Springer-Verlag, LNCS 1473, pp.1-8 (ps).

• 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).