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

✍ Scribed by Rachid Guerraoui (auth.), Jan Vitek (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2008
• Tongue: English
• Leaves: 704
• Series: Lecture Notes in Computer Science 5142 : Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

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 submissions. Presenting research results or experience reports in all areas relevant to object technology - including work that takes inspiration from or builds connections to areas not commonly considered object-oriented - the papers cover topics such as design methods and design patterns in analysis, concurrent systems, databases, persistence and transactions, distributed and mobile systems, frameworks, product lines and software architectures, language design and implementation, testing and metrics, programming environments and tools, theoretical foundations, type systems, formal methods, versioning, compatibility, software evolution, aspects, components, modularity, reflection, collaboration, and workflow.

✦ Table of Contents

Front Matter....Pages -
The Return of Transactions....Pages 1-1
A Model for Java with Wildcards....Pages 2-26
On Validity of Program Transformations in the Java Memory Model....Pages 27-51
Safe Cross-Language Inheritance....Pages 52-75
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary....Pages 76-103
Kilim: Isolation-Typed Actors for Java....Pages 104-128
A Uniform Transactional Execution Environment for Java....Pages 129-154
Ptolemy: A Language with Quantified, Typed Events....Pages 155-179
Prototyping and Composing Aspect Languages....Pages 180-206
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study....Pages 207-234
UpgradeJ: Incremental Typechecking for Class Upgrades....Pages 235-259
Integrating Nominal and Structural Subtyping....Pages 260-284
Flow Analysis of Code Customizations....Pages 285-308
Online Phase-Adaptive Data Layout Selection....Pages 309-334
MTM 2 : Scalable Memory Management for Multi-tasking Managed Runtime Environments....Pages 335-361
Externalizing Java Server Concurrency with CAL ....Pages 362-386
Regional Logic for Local Reasoning about Global Invariants....Pages 387-411
A Unified Framework for Verification Techniques for Object Invariants....Pages 412-437
Extensible Universes for Object-Oriented Data Models....Pages 438-462
Programming with Live Distributed Objects....Pages 463-489
Bristlecone: A Language for Robust Software Systems....Pages 490-515
Session-Based Distributed Programming in Java....Pages 516-541
ReCrash: Making Software Failures Reproducible by Preserving Object States....Pages 542-565
An Extensible State Machine Pattern for Interactive Applications....Pages 566-591
Practical Object-Oriented Back-in-Time Debugging....Pages 592-615
Inference of Reference Immutability....Pages 616-641
Computing Stack Maps with Interfaces....Pages 642-666
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software....Pages 667-691
Back Matter....Pages -

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Management of Computing and Information Systems