Magnusson ECOOP 2002 - Object-Oriented Programming

16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-47993-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 2374, 637 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Magnusson, Boris

Inhaltsverzeichnis

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.