16. ECOOP 2002: Málaga, Spain

Boris Magnusson (Ed.): ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. Lecture Notes in Computer Science 2374 Springer 2002, ISBN 3-540-43759-2

Invited Talk 1

José Meseguer, Carolyn L. Talcott:
Semantic Models for Distributed Object Reflection. 1-36

Aspect Oriented Software Development

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

Java Virtual Machines

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

Miscellaneous

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

Invited Talk 2

Clemens A. Szyperski:
Objectively: Components versus Web Services. 256

Distributed Systems

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

Patterns and Architecture

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

Languages

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

Optimization

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

Theory and Formal Techniques

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

Last update Wed May 22 23:24:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page