Verkauf durch Sack Fachmedien

Magnusson

ECOOP 2002 - Object-Oriented Programming

16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings

Medium: Buch
ISBN: 978-3-540-43759-8
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 03.06.2002
Lieferfrist: bis zu 10 Tage

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


Produkteigenschaften


  • Artikelnummer: 9783540437598
  • Medium: Buch
  • ISBN: 978-3-540-43759-8
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 03.06.2002
  • Sprache(n): Englisch
  • Auflage: 2002
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 2000 g
  • Seiten: 637
  • Format (B x H x T): 155 x 235 x 36 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.