product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Erik Meijer (auth.), Mira Mezini (eds.)
Series: Lecture Notes in Computer Science 6813
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011

Language: English
Pages: 660
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Management of Computing and Information Systems

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 -