ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

✍ Scribed by José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2002
• Tongue: English
• Leaves: 648
• Series: Lecture Notes in Computer Science 2374
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002.
The 24 revised full papers presented together with one full invited paper were carefully reviewed and selected from 96 submissions. The book offers topical sections on aspect-oriented software development, Java virtual machines, distributed systems, patterns and architectures, languages, optimization, theory and formal techniques, and miscellaneous.

✦ Table of Contents

Semantic Models for Distributed Object Reflection....Pages 1-36
AOP: Does It Make Sense? The Case of Concurrency and Failures....Pages 37-61
Difference-Based Modules: A Class-Independent Module Mechanism....Pages 62-88
Dynamically Composable Collaborations with Delegation Layers....Pages 89-110
Space- and Time-Efficient Implementation of the Java Object Model....Pages 111-132
Atomic Instructions in Java....Pages 133-154
Code Sharing among Virtual Machines....Pages 155-177
J-Orchestra: Automatic Java Application Partitioning....Pages 178-204
Supporting Unanticipated Dynamic Adaptation of Application Behaviour....Pages 205-230
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way....Pages 231-255
Objectively: Components versus Web Services....Pages 256-256
Modular Internet Programming with Cells....Pages 257-280
Lana: An Approach to Programming Autonomous Systems....Pages 281-308
Engineering Event-Based Systems with Scopes....Pages 309-333
Architectural Reasoning in ArchJava....Pages 334-367
Patterns as Signs....Pages 368-391
Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study....Pages 392-414
Modern Concurrency Abstractions for C # ....Pages 415-440
On Variance-Based Subtyping for Parametric Types....Pages 441-469
Type-Safe Prototype-Based Component Evolution....Pages 470-497
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading....Pages 498-524
Type-Safe Method Inlining....Pages 525-544
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies....Pages 545-561
Semantics-Based Composition of Class Hierarchies....Pages 562-584
Behavioral Compatibility of Self-Typed Theories....Pages 585-608
A Formal Framework for Java Separate Compilation....Pages 609-635

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Business Information Systems