Check out the new USENIX Web site. next up previous
Next: About this document Up: Automatic Program Transformation with Previous: Acknowledgements


O. Agesin, S. Freund, and J.C. Mitchell. Adding Type Parameterization to the Java Language. In Proceedings of the Symposium on Object Oriented Programming: Systems, Languages, and Applications, pages 49-65, 1997.

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley Publishing Company, Reading, Massachusetts, 1995.

James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley Publishing Company, Reading, Massachusetts, 1996.

Ralph Keller and Urs Hölzle. Binary Component Adaptation. Technical Report TRCS97-20, Department of Computer Science, University of California at Santa Barbara, December 1997.

KLM tex2html_wrap_inline497 97
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-Oriented Programming. Technical Report SPL97-008 P9710042, Xerox Palo Alto Research Center, February 1997.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley Publishing Company, Reading, Massachusetts, 1997.

Han Bok Lee and Benjamin G. Zorn. BIT: A Tool for Instrumenting Java Bytecodes. In The USENIX Symposium on Internet Technologies and Systems, pages 73-82, 1997.

Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized Types for Java. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 132-145, January 1997.

Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1992.

David Moon, Richard Stallman, and Daniel Weinreb. The Lisp Machine Manual. AI Lab, MIT, Cambridge, Massachusetts, 1983.

Object Design Inc. ObjectStore PSE Resource Center, 1998. products/PSEHome.html.

Harold Ossher, William Harrison, Frank Budinsky, and Ian Simmonds. Subject-Oriented Programming: Supporting Decentralized Development of Objects. In The 7th IBM Conference on Object-Oriented Technology, 1994.

Todd A. Proebsting. Optimizing an ANSI C Interpreter with Superoperators. In Proceedings of the 22th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 322-332, January 1995.

Rational Software Corporation. Purify, 1998. purify.

Amitabh Srivastava and Alan Eustace. ATOM: A System for Building Customized Program Analysis Tools. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 196-205, June 1994.

Daniel J. Scales and Kourosh Gharachorloo. Towards Transparent and Efficient Software Distributed Shared Memory. In The Sixteenth ACM Symposium on Operating Systems Principles, 1997.

Dan S. Wallach and Edward W. Felten. Understanding Java Stack Inspection. In 1998 IEEE Symposium on Security and Privacy (to appear), May 1998.

Geoff Alex Cohen
Tue Apr 28 14:31:49 EDT 1998