15. ECOOP 2001: Budapest, Hungary

Keynote Speech

• Charles Simonyi:
  Language, Objects, and Intentionality. 1
  Electronic Edition (Springer LINK) BibTeX

Sharing and Encapsulation

• John Boyland, James Noble, William Retert:
  Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. 2-27
  Electronic Edition (Springer LINK) BibTeX
• Marina Biberstein, Joseph Gil, Sara Porat:
  Sealing, Encapsulation, and Mutability. 28-52
  Electronic Edition (Springer LINK) BibTeX
• David G. Clarke, James Noble, John Potter:
  Simple Ownership Types for Object Containment. 53-76
  Electronic Edition (Springer LINK) BibTeX

Type Inference and Static Analysis

• Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi:
  Distinctness and Sharing Domains for Static Analysis of Java Programs. 77-98
  Electronic Edition (Springer LINK) BibTeX
• Tiejun Wang, Scott F. Smith:
  Precise Constraint-Based Type Inference for Java. 99-117
  Electronic Edition (Springer LINK) BibTeX

Language Design

• Yasunori Harada, Kenichi Yamazaki, Richard Potter:
  CCC: User-Defined Object Structure in C. 118-129
  Electronic Edition (Springer LINK) BibTeX
• Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
  Fickle : Dynamic Object Re-classification. 130-149
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Erik Meijer, Nigel Perry, Arjan van Yzendoorn:
  Scripting .NET Using Mondrian. 150-164
  Electronic Edition (Springer LINK) BibTeX

Implementation Techniques

• Olivier Raynaud, Eric Thierry:
  A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests. 165-180
  Electronic Edition (Springer LINK) BibTeX
• Martin Hirzel, Amer Diwan, Antony L. Hosking:
  On the Usefulness of Liveness for Garbage Collection and Leak Detection. 181-206
  Electronic Edition (Springer LINK) BibTeX
• David F. Bacon, V. T. Rajan:
  Concurrent Cycle Collection in Reference Counted Systems. 207-235
  Electronic Edition (Springer LINK) BibTeX

Reflection and Concurrency

• Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano:
  A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software. 236-255
  Electronic Edition (Springer LINK) BibTeX
• Denis Caromel, Julien Vayssière:
  Reflections on MOPs, Components, and Java Security. 256-274
  Electronic Edition (Springer LINK) BibTeX
• Robert E. Strom, Joshua S. Auerbach:
  The Optimistic Readers Transformation. 275-301
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Alistair Cockburn:
  People and the Limits of Methodology. 302
  Electronic Edition (Springer LINK) BibTeX

Language Design

• Erik Ernst:
  Family Polymorphism. 303-326
  Electronic Edition (Springer LINK) BibTeX
• Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold:
  An Overview of AspectJ. 327-353
  Electronic Edition (Springer LINK) BibTeX
• Davide Ancona, Elena Zucca:
  True Modules for Java-like Languages. 354-380
  Electronic Edition (Springer LINK) BibTeX

Testing and Design

• Vu Le Hanh, Kamel Akif, Yves Le Traon, Jean-Marc Jézéquel:
  Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies. 381-401
  Electronic Edition (Springer LINK) BibTeX
• Bente Anda, Dag I. K. Sjøberg, Magne Jørgensen:
  Quality and Understandability of Use Case Models. 402-428
  Electronic Edition (Springer LINK) BibTeX