Ebook: ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.

---

This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.

---

This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.
Content:
Front Matter....Pages -
When Compilers Are Mirrors....Pages 1-1
Extensibility for the Masses....Pages 2-27
Extensions during Software Evolution: Do Objects Meet Their Promise?....Pages 28-52
PQL: A Purely-Declarative Java Extension for Parallel Programming....Pages 53-78
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?....Pages 79-103
Evaluating the Design of the R Language....Pages 104-131
McSAF: A Static Analysis Framework for MATLAB....Pages 132-155
Multiple Aggregate Entry Points for Ownership Types....Pages 156-180
Inference and Checking of Object Ownership....Pages 181-206
Object Initialization in X10....Pages 207-231
Structured Aliasing....Pages 232-232
Lightweight Polymorphic Effects....Pages 233-257
Cloud Types for Eventual Consistency....Pages 258-282
Lock Inference in the Presence of Large Libraries....Pages 283-307
An Analysis of the Mozilla Jetpack Extension Framework....Pages 308-332
Smaller Footprint for Java Collections....Pages 333-355
Enhancing JavaScript with Transactions....Pages 356-382
JavaScript as an Embedded DSL....Pages 383-408
Correlation Tracking for Points-To Analysis of JavaScript....Pages 409-434
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics....Pages 435-458
Static Sessional Dataflow....Pages 459-483
Java Wildcards Meet Definition-Site Variance....Pages 484-508
Constraint-Based Refactoring with Foresight....Pages 509-534
Magda: A New Language for Modularity....Pages 535-559
Practical Permissions for Race-Free Parallelism....Pages 560-588
Verification of Snapshot Isolation in Transactional Memory Java Programs....Pages 589-613
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates....Pages 614-639
Application-Only Call Graph Construction....Pages 640-664
Program Sliding....Pages 665-687
Static Detection of Loop-Invariant Data Structures....Pages 688-712
Back Matter....Pages 713-737
....Pages 738-763