This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences.
Author(s): Doug Lea (auth.), Theo D’Hondt (eds.)
Series: Lecture Notes in Computer Science 6183 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 599
Tags: Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Antibodies; Software Engineering/Programming and Operating Systems
Front Matter....Pages -
Code Roots....Pages 1-1
Detecting Missing Method Calls in Object-Oriented Software....Pages 2-25
Debugging Model-Transformation Failures Using Dynamic Tainting....Pages 26-51
Automatically Extracting Class Diagrams from Spreadsheets....Pages 52-75
Adding Dynamic Types to C $^\sharp$ ....Pages 76-100
Essential AOP: The A Calculus....Pages 101-125
The Essence of JavaScript....Pages 126-150
Verifying Executable Object-Oriented Specifications with Separation Logic....Pages 151-174
Verifying Generics and Delegates....Pages 175-199
Recency Types for Analyzing Scripting Languages....Pages 200-224
Correct Refactoring of Concurrent Java Code....Pages 225-249
Programming Coordinated Behavior in Java....Pages 250-274
JCoBox: Generalizing Active Objects to Concurrent Components....Pages 275-299
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study....Pages 300-303
A Type System for Data-Centric Synchronization....Pages 304-328
Type-Safe Eventful Sessions in Java....Pages 329-353
Capabilities for Uniqueness and Borrowing....Pages 354-378
Secret Valley....Pages 379-379
Embedding Languages without Breaking Tools....Pages 380-404
Modules as Objects in Newspeak....Pages 405-428
Inline Caching Meets Quickening....Pages 429-451
Self-Replicating Objects for Multicore Platforms....Pages 452-477
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO....Pages 478-503
Concurrent Abstract Predicates....Pages 504-528
The Use of Overloading in Java Programs....Pages 529-551
Falling Back on Executable Specifications....Pages 552-576
Contract-Based Data Structure Repair Using Alloy....Pages 577-598
Back Matter....Pages -
