ECOOP 2011 – Object-Oriented Programming: 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

✍ Scribed by Erik Meijer (auth.), Mira Mezini (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 675
• Series: Lecture Notes in Computer Science 6813
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011.
The 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. The papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.

✦ Table of Contents

Front Matter....Pages -
A Co-relational Model of Data for Large Shared Data Banks....Pages 1-1
An Empirical Study of Object Protocols in the Wild....Pages 2-26
The Beauty and the Beast: Separating Design from Algorithm....Pages 27-51
The Eval That Men Do....Pages 52-78
Using Structure-Based Recommendations to Facilitate Discoverability in APIs....Pages 79-104
Mining Evolution of Object Usage....Pages 105-129
Improving the Tokenisation of Identifier Names....Pages 130-154
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity....Pages 155-178
Worlds: Controlling the Scope of Side Effects....Pages 179-203
Can We Avoid High Coupling?....Pages 204-228
Expressiveness, Simplicity, and Users....Pages 229-229
CDDiff: Semantic Differencing for Class Diagrams....Pages 230-254
A Refactoring Constraint Language and Its Application to Eiffel....Pages 255-280
Modal Object Diagrams....Pages 281-305
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks....Pages 306-332
Tunable Static Inference for Generic Universe Types....Pages 333-357
Verifying Multi-object Invariants with Relationships....Pages 358-382
Patterns of Memory Inefficiency....Pages 383-407
Reuse, Recycle to De-bloat Software....Pages 408-432
A Featherweight Approach to FOOL....Pages 433-433
Related Types....Pages 434-458
Gradual Typestate....Pages 459-483
Maintaining Database Integrity with Refinement Types....Pages 484-509
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs....Pages 510-532
Counting Messages as a Proxy for Average Execution Time in Pharo....Pages 533-557
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging....Pages 558-582
Interprocedural Exception Analysis for C++....Pages 583-608
Detecting and Escaping Infinite Loops with Jolt....Pages 609-633
Atomic Boxes: Coordinated Exception Handling with Transactional Memory....Pages 634-657
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