ECOOP 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings (Lecture Notes in Computer Science)

Magnusson, Boris [Editor]

ISBN 10: 3540437592 / ISBN 13: 9783540437598

Editore: Springer, 2002

Riguardo questo articolo

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo DA1412283

Dati bibliografici

Titolo: ECOOP 2002 - Object-Oriented Programming: ...

Casa editrice: Springer

Data di pubblicazione: 2002

Legatura: Paperback

Condizione: Very Good

Descrizione articolo

Riassunto:

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

Contenuti:

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.