ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Vitek, Jan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5142
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July 2008. The 27 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 138 final submissi...

Πίνακας περιεχομένων:

• Keynote
• The Return of Transactions
• Session I
• A Model for Java with Wildcards
• On Validity of Program Transformations in the Java Memory Model
• Safe Cross-Language Inheritance
• Session II
• Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
• Kilim: Isolation-Typed Actors for Java
• A Uniform Transactional Execution Environment for Java
• Session III
• Ptolemy: A Language with Quantified, Typed Events
• Prototyping and Composing Aspect Languages
• Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
• Session IV
• UpgradeJ: Incremental Typechecking for Class Upgrades
• Integrating Nominal and Structural Subtyping
• Flow Analysis of Code Customizations
• Session V
• Online Phase-Adaptive Data Layout Selection
• MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments
• Externalizing Java Server Concurrency with CAL
• Session VI
• Regional Logic for Local Reasoning about Global Invariants
• A Unified Framework for Verification Techniques for Object Invariants
• Extensible Universes for Object-Oriented Data Models
• Session VII
• Programming with Live Distributed Objects
• Bristlecone: A Language for Robust Software Systems
• Session-Based Distributed Programming in Java
• Session VIII
• ReCrash: Making Software Failures Reproducible by Preserving Object States
• An Extensible State Machine Pattern for Interactive Applications
• Practical Object-Oriented Back-in-Time Debugging
• Session IX
• Inference of Reference Immutability
• Computing Stack Maps with Interfaces
• How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software.