ECOOP 2002 - Object-Oriented Programming

Object-Orientation has for a number of years now been accepted as the ind- try standard in many areas. Coming from the area of simulation it showed its strengthsinthedesignofgraphicaluserinterfacesandisnowtakenforgrantedin Internet applications. Object-oriented programming has positioned itself as the main programming paradigm in many universities and many students are int- ducedtoprogrammingthroughanObject-Orientedlanguage. Theimportanceof Object-Orientation and its fundamental ideas have now also been ?rmly rec- nized by the research community. This year both the IEEE John von Neumann Medal and the ACM Turing Award have been awarded to Ole-Johan Dahl and Kristen Nygaard for the pioneering work they did in the 1960s when designing the programming language Simula 67: 19November2001 IEEE(InstituteofElectricalandElectronicEngineers): Ole-JohanDahlandKristenNygaardhavebeenawardedtheIEEE s2002John von Neumann Medal For the introduction of the concepts underlying obje- orientedprogrammingthroughthedesignandimplementationofSIMULA67. New York, February 6, 2002 The Association for Computing Machinery (ACM)haspresentedthe2001A. M. TuringAward,consideredthe NobelPrize of Computing, to Ole-Johan Dahl and Kristen Nygaard of Norway for their role in the invention of object-oriented programming, the most widely used p- gramming model today. Their work has led to a fundamental change in how software systems are designed and programmed, resulting in reusable, reliable, scalable applications that have streamlined the process of writing software code andfacilitatedsoftwareprogramming. 2002willthusberememberedasanexceptionalyearinthehistoryofObject- Orientation and it is an honor to have Kristen Nygaard as this year s banquet speaker. This year we had 96 submitted papers of which 24 were accepted for publi- tionafterathoroughreviewprocess. Inadditiontothereviewedpapersthereare invited talks given by Jos e Meseguer and Clemens Szyperski.

Includes supplementary material: sn.pub/extras

Klappentext

papers of which 24 were accepted for publi- tionafterathoroughreviewprocess. Inadditiontothereviewedpapersthereare invited talks given by Jos e Meseguer and Clemens Szyperski.

Inhalt
Invited Talk 1.- Semantic Models for Distributed Object Reflection.- Aspect Oriented Software Development.- AOP: Does It Make Sense? The Case of Concurrency and Failures.- Difference-Based Modules: A Class-Independent Module Mechanism.- Dynamically Composable Collaborations with Delegation Layers.- Java Virtual Machines.- Space- and Time-Efficient Implementation of the Java Object Model.- Atomic Instructions in Java.- Code Sharing among Virtual Machines.- Miscellaneous.- J-Orchestra: Automatic Java Application Partitioning.- Supporting Unanticipated Dynamic Adaptation of Application Behaviour.- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.- Invited Talk 2.- Objectively: Components versus Web Services.- Distributed Systems.- Modular Internet Programming with Cells.- Lana: An Approach to Programming Autonomous Systems.- Engineering Event-Based Systems with Scopes.- Patterns and Architecture.- Architectural Reasoning in ArchJava.- Patterns as Signs.- Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study.- Languages.- Modern Concurrency Abstractions for C#.- On Variance-Based Subtyping for Parametric Types.- Type-Safe Prototype-Based Component Evolution.- Optimization.- Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading.- Type-Safe Method Inlining.- Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies.- Theory and Formal Techniques.- Semantics-Based Composition of Class Hierarchies.- Behavioral Compatibility of Self-Typed Theories.- A Formal Framework for Java Separate Compilation.