References

AFM97

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.

GHJV95

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

GJS96

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

KH97

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

LY97

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

LZ97

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.

MBL97

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.

Mey92

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

MSW83

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

Obj98

Object Design Inc. ObjectStore PSE Resource Center, 1998. https://www.odi.com/content/ products/PSEHome.html.

OHBS94

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.

Pro95

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.

Rat98

Rational Software Corporation. Purify, 1998. https://www.pure.com/products/ purify.

SE94

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.

SG97

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

WF98

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