ECOOP 2002

26 papers

1. A Formal Framework for Java Separate Compilation · Davide Ancona, Giovanni Lagorio, Elena Zucca
2. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way · Yoonsik Cheon, Gary T. Leavens
3. AOP: Does It Make Sense? The Case of Concurrency and Failures · Jörg Kienzle, Rachid Guerraoui
4. Architectural Reasoning in ArchJava · Jonathan Aldrich, Craig Chambers, David Notkin
5. Atomic Instructions in Java · David Hovemeyer, William W. Pugh, Jaime Spacco
6. Behavioral Compatibility of Self-Typed Theories · Suad Alagic, Svetlana Kouznetsova
7. Code Sharing among Virtual Machines · Grzegorz Czajkowski, Laurent Daynès, Nathaniel Nystrom
8. Difference-Based Modules: A Class-Independent Module Mechanism · Yuuji Ichisugi, Akira Tanaka
9. Dynamically Composable Collaborations with Delegation Layers · Klaus Ostermann
10. Engineering Event-Based Systems with Scopes · Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P. Buchmann
11. J-Orchestra: Automatic Java Application Partitioning · Eli Tilevich, Yannis Smaragdakis
12. Lana: An Approach to Programming Autonomous Systems · Ciarán Bryce, Chrislain Razafimahefa, Michel Pawlak
13. Modern Concurrency Abstractions for C# · Nick Benton, Luca Cardelli, Cédric Fournet
14. Modular Internet Programming with Cells · Ran Rinat, Scott F. Smith
15. Objectively: Components versus Web Services · Clemens A. Szyperski
16. On Variance-Based Subtyping for Parametric Types · Atsushi Igarashi, Mirko Viroli
17. Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study · Gustaf Neumann, Uwe Zdun
18. Patterns as Signs · James Noble, Robert Biddle
19. Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies · Robert E. Filman
20. Semantic Models for Distributed Object Reflection · José Meseguer, Carolyn L. Talcott
21. Semantics-Based Composition of Class Hierarchies · Gregor Snelting, Frank Tip
22. Space- and Time-Efficient Implementation of the Java Object Model · David F. Bacon, Stephen J. Fink, David Grove
23. Supporting Unanticipated Dynamic Adaptation of Application Behaviour · Barry Redmond, Vinny Cahill
24. Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading · Matthew Arnold, Barbara G. Ryder
25. Type-Safe Method Inlining · Neal Glew, Jens Palsberg
26. Type-Safe Prototype-Based Component Evolution · Matthias Zenger