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

✍ Scribed by Martin Odersky (auth.), James Noble (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 777
• Series: Lecture Notes in Computer Science 7313
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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
Pause ’n’ Play: Formalizing Asynchronous C $^\sharp$ ....Pages 233-257
Lightweight Polymorphic Effects....Pages 258-282
Cloud Types for Eventual Consistency....Pages 283-307
Lock Inference in the Presence of Large Libraries....Pages 308-332
An Analysis of the Mozilla Jetpack Extension Framework....Pages 333-355
Smaller Footprint for Java Collections....Pages 356-382
Enhancing JavaScript with Transactions....Pages 383-408
JavaScript as an Embedded DSL....Pages 409-434
Correlation Tracking for Points-To Analysis of JavaScript....Pages 435-458
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics....Pages 459-483
Static Sessional Dataflow....Pages 484-508
Java Wildcards Meet Definition-Site Variance....Pages 509-534
Constraint-Based Refactoring with Foresight....Pages 535-559
Magda: A New Language for Modularity....Pages 560-588
Marco : Safe, Expressive Macros for Any Language....Pages 589-613
Practical Permissions for Race-Free Parallelism....Pages 614-639
Verification of Snapshot Isolation in Transactional Memory Java Programs....Pages 640-664
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates....Pages 665-687
Application-Only Call Graph Construction....Pages 688-712
Program Sliding....Pages 713-737
Static Detection of Loop-Invariant Data Structures....Pages 738-763
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