ECOOP 2001 - Object-Oriented Programming

1. Front Matter

   Pages I-XIII

   PDF

2. Keynote Speech

   1. Language, Objects, and Intentionality

      • Charles Simonyi

      Pages 1-1

3. Sharing and Encapsulation

   1. Capabilities for Sharing

      • John Boyland, James Noble, William Retert

      Pages 2-27

   2. Sealing, Encapsulation, and Mutablility

      • Marina Biberstein, Joseph (Yossi) Gil, Sara Porat

      Pages 28-52

   3. Simple Ownership Types for Object Containment

      • David G. Clarke, James Noble, John M. Potter

      Pages 53-76

4. Type Inference and Static Analysis

   1. Distinctness and Sharing Domains for Static Analysis of Java Programs

      • Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi

      Pages 77-98

   2. Precise Constraint-Based Type Inference for Java

      • Tiejun Wang, Scott F. Smith

      Pages 99-117

5. Language Design

   1. CCC: User-Defined Object Structure in C

      • Yasunori Harada, Kenichi Yamazaki, Richard Potter

      Pages 118-129

   2. Fickle: Dynamic Object Re-classification

      • Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

      Pages 130-149

6. Invited Talk

   1. Scripting .NET Using Mondrian

      • Erik Meijer, Nigel Perry, Arjan van Yzendoorn

      Pages 150-164

7. Implementation Techniques

   1. A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests

      • Olivier Raynaud, Eric Thierry

      Pages 165-180

   2. On the Usefulness of Liveness for Garbage Collection and Leak Detection

      • Martin Hirzel, Amer Diwan, Antony Hosking

      Pages 181-206

   3. Concurrent Cycle Collection in Reference Counted Systems

      • David F. Bacon, V. T. Rajan

      Pages 207-235

8. A Bytecode Translator for Distributed Execution of “Legacy” Java Software

   1. A Bytecode Translator for Distributed Execution of “Legacy” Java Software

      • Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano

      Pages 236-255

9. Reflections on MOP s, Components, and Java Security

   1. Reflections on MOP s, Components, and Java Security

      • Denis Caromel, Julien Vayssière

      Pages 256-274

10. The Optimistic Readers Transformation

    1. The Optimistic Readers Transformation

       • Robert Strom, Joshua Auerbach

       Pages 275-301

11. Invited Talk

    1. People and the Limits of Methodology

       • Alistair Cockburn

       Pages 302-302

12. Language Design

    1. Family Polymorphism

       • Erik Ernst

       Pages 303-326

    2. An Overview of AspectJ

       • Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold

       Pages 327-354

    3. True Modules for Java-like Languages

       • Davide Ancona, Elena Zucca

       Pages 354-380

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.
The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.

• .NET
• AspectJ
• C++ Programming
• Java
• Object Systems
• Object-Oriented Languages
• class
• component systems
• object
• object-oriented programming
• programming
• reflection
• software architecture
• software testing
• xml

• Department of Computer Science, University of Aarhus, Århus N, Denmark

  Jørgen Lindskov Knudsen

Policies and ethics