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.