ECOOP 2002 - Object-Oriented Programming 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Magnusson, Boris (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2374
• Θέματα: Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Information technology.; Business-Data processing.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; IT in Business.

 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.