16. ECOOP 2002: Málaga, Spain

@proceedings{DBLP:conf/ecoop/2002,
  editor    = {Boris Magnusson},
  title     = {ECOOP 2002 - Object-Oriented Programming, 16th European Conference,
               Malaga, Spain, June 10-14, 2002, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2374},
  year      = {2002},
  isbn      = {3-540-43759-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

• José Meseguer, Carolyn L. Talcott:
  Semantic Models for Distributed Object Reflection. 1-36
  Electronic Edition (Springer LINK) BibTeX

Aspect Oriented Software Development

• Jörg Kienzle, Rachid Guerraoui:
  AOP: Does It Make Sense? The Case of Concurrency and Failures. 37-61
  Electronic Edition (Springer LINK) BibTeX
• Yuuji Ichisugi, Akira Tanaka:
  Difference-Based Modules: A Class-Independent Module Mechanism. 62-88
  Electronic Edition (Springer LINK) BibTeX
• Klaus Ostermann:
  Dynamically Composable Collaborations with Delegation Layers. 89-110
  Electronic Edition (Springer LINK) BibTeX

Java Virtual Machines

• David F. Bacon, Stephen J. Fink, David Grove:
  Space- and Time-Efficient Implementation of the Java Object Model. 111-132
  Electronic Edition (Springer LINK) BibTeX
• David Hovemeyer, William Pugh, Jaime Spacco:
  Atomic Instructions in Java. 133-154
  Electronic Edition (Springer LINK) BibTeX
• Grzegorz Czajkowski, Laurent Daynès, Nathaniel Nystrom:
  Code Sharing among Virtual Machines. 155-177
  Electronic Edition (Springer LINK) BibTeX

Miscellaneous

• Eli Tilevich, Yannis Smaragdakis:
  J-Orchestra: Automatic Java Application Partitioning. 178-204
  Electronic Edition (Springer LINK) BibTeX
• Barry Redmond, Vinny Cahill:
  Supporting Unanticipated Dynamic Adaptation of Application Behaviour. 205-230
  Electronic Edition (Springer LINK) BibTeX
• Yoonsik Cheon, Gary T. Leavens:
  A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. 231-255
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 2

• Clemens A. Szyperski:
  Objectively: Components versus Web Services. 256
  Electronic Edition (Springer LINK) BibTeX

Distributed Systems

• Ran Rinat, Scott F. Smith:
  Modular Internet Programming with Cells. 257-280
  Electronic Edition (Springer LINK) BibTeX
• Ciarán Bryce, Chrislain Razafimahefa, Michel Pawlak:
  Lana: An Approach to Programming Autonomous Systems. 281-308
  Electronic Edition (Springer LINK) BibTeX
• Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P. Buchmann:
  Engineering Event-Based Systems with Scopes. 309-333
  Electronic Edition (Springer LINK) BibTeX

Patterns and Architecture

• Jonathan Aldrich, Craig Chambers, David Notkin:
  Architectural Reasoning in ArchJava. 334-367
  Electronic Edition (Springer LINK) BibTeX
• James Noble, Robert Biddle:
  Patterns as Signs. 368-391
  Electronic Edition (Springer LINK) BibTeX
• Gustaf Neumann, Uwe Zdun:
  Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study. 392-414
  Electronic Edition (Springer LINK) BibTeX

Languages

• Nick Benton, Luca Cardelli, Cédric Fournet:
  Modern Concurrency Abstractions for C^#. 415-440
  Electronic Edition (Springer LINK) BibTeX
• Atsushi Igarashi, Mirko Viroli:
  On Variance-Based Subtyping for Parametric Types. 441-469
  Electronic Edition (Springer LINK) BibTeX
• Matthias Zenger:
  Type-Safe Prototype-Based Component Evolution. 470-497
  Electronic Edition (Springer LINK) BibTeX

Optimization

• Matthew Arnold, Barbara G. Ryder:
  Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. 498-524
  Electronic Edition (Springer LINK) BibTeX
• Neal Glew, Jens Palsberg:
  Type-Safe Method Inlining. 525-544
  Electronic Edition (Springer LINK) BibTeX
• Robert E. Filman:
  Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies. 545-561
  Electronic Edition (Springer LINK) BibTeX

Theory and Formal Techniques

• Gregor Snelting, Frank Tip:
  Semantics-Based Composition of Class Hierarchies. 562-584
  Electronic Edition (Springer LINK) BibTeX
• Suad Alagic, Svetlana Kouznetsova:
  Behavioral Compatibility of Self-Typed Theories. 585-608
  Electronic Edition (Springer LINK) BibTeX
• Davide Ancona, Giovanni Lagorio, Elena Zucca:
  A Formal Framework for Java Separate Compilation. 609-636
  Electronic Edition (Springer LINK) BibTeX