ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

✍ Scribed by Guoqing Xu (auth.), Giuseppe Castagna (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2013
• Tongue: English
• Leaves: 761
• Series: Lecture Notes in Computer Science 7920
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.

✦ Table of Contents

Front Matter....Pages -
CoCo: Sound and Adaptive Replacement of Java Collections....Pages 1-26
Feature-Oriented Programming with Object Algebras....Pages 27-51
Composition and Reuse with Compiled Domain-Specific Languages....Pages 52-78
Combining Form and Function: Static Types for JQuery Programs....Pages 79-103
Heap Decomposition Inference with Linear Programming....Pages 104-128
A Formal Semantics for Isorecursive and Equirecursive State Abstractions....Pages 129-153
Trustworthy Proxies....Pages 154-178
Java UI : Effects for Controlling UI Object Access....Pages 179-204
The Billion-Dollar Fix....Pages 205-229
Implementing Federated Object Systems....Pages 230-254
RedCard: Redundant Check Elimination for Dynamic Race Detectors....Pages 255-280
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines....Pages 281-301
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?....Pages 302-326
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library....Pages 327-351
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine....Pages 352-377
Averroes : Whole-Program Analysis without the Whole Program....Pages 378-400
QUIC Graphs: Relational Invariant Generation for Containers....Pages 401-425
Reducing Lookups for Invariant Checking....Pages 426-450
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions....Pages 451-476
Really Automatic Scalable Object-Oriented Reengineering....Pages 477-501
Detecting Refactored Clones....Pages 502-526
A Compositional Paradigm of Automating Refactorings....Pages 527-551
A Comparative Study of Manual and Automated Refactorings....Pages 552-576
What Programmers Do with Inheritance in Java....Pages 577-601
Is This a Bug or an Obsolete Test?....Pages 602-628
Systematic Testing of Refactoring Engines on Real Software Projects....Pages 629-653
Simple Profile Rectifications Go a Long Way....Pages 654-678
The Shape of Things to Run....Pages 679-706
Higher-Order Reactive Programming with Incremental Lists....Pages 707-731
Back Matter....Pages -

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks