James Noble
Proceedings of the 26th European Conference on Object-Oriented Programming
ECOOP, 2012.

@proceedings{ECOOP-2012,
	address       = "Beijing, China",
	doi           = "10.1007/978-3-642-31057-7",
	editor        = "James Noble",
	isbn          = "978-3-642-31056-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 26th European Conference on Object-Oriented Programming}",
	volume        = 7313,
	year          = 2012,
}

Contents (32 items)

5 ×#java
4 ×#named
3 ×#analysis
3 ×#javascript
2 ×#evolution
2 ×#framework
2 ×#parallel
2 ×#question
2 ×#scalability
2 ×#source code

ECOOP-2012-Odersky #compilation

When Compilers Are Mirrors (MO), p. 1.

ECOOP-2012-OliveiraC #algebra

Extensibility for the Masses — Practical Extensibility with Object Algebras (BCdSO, WRC), pp. 2–27.

ECOOP-2012-RobbesRT #evolution #question

Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.

ECOOP-2012-ReichenbachSI #java #named #parallel #programming

PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.

ECOOP-2012-NegaraVCJD #evolution #question #source code #version control

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? (SN, MV, NC, REJ, DD), pp. 79–103.

ECOOP-2012-MorandatHOV #data analysis #design

Evaluating the Design of the R Language — Objects and Functions for Data Analysis (FM, BH, LO, JV), pp. 104–131.

ECOOP-2012-DohertyH #framework #matlab #named #static analysis

McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.

ECOOP-2012-OstlundW #multi

Multiple Aggregate Entry Points for Ownership Types (JÖ, TW), pp. 156–180.

ECOOP-2012-HuangDME

Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.

ECOOP-2012-ZibinCPS

Object Initialization in X10 (YZ, DC, IP, VAS), pp. 207–231.

ECOOP-2012-Wrigstad #alias

Structured Aliasing (TW), p. 232.

ECOOP-2012-BiermanRMMT #c# #formal method #game studies

Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.

ECOOP-2012-RytzOH #lightweight #polymorphism

Lightweight Polymorphic Effects (LR, MO, PH), pp. 258–282.

ECOOP-2012-BurckhardtFLW #consistency

Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.

ECOOP-2012-GudkaHE #library #scalability

Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.

ECOOP-2012-KarimDGS #analysis #framework

An Analysis of the Mozilla Jetpack Extension Framework (RK, MD, VG, CcS), pp. 333–355.

ECOOP-2012-GilS #java

Smaller Footprint for Java Collections (JYG, YS), pp. 356–382.

ECOOP-2012-DhawanSG #javascript #transaction

Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.

ECOOP-2012-KossakowskiARO #domain-specific language #embedded #javascript

JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.

ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to

Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.

ECOOP-2012-Ancona #induction #object-oriented #semantics

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.

ECOOP-2012-DugganY #data flow

Static Sessional Dataflow (DD, JY), pp. 484–508.

ECOOP-2012-AltidorRS #java

Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.

ECOOP-2012-SteimannP #constraints #refactoring

Constraint-Based Refactoring with Foresight (FS, JvP), pp. 535–559.

ECOOP-2012-BonoKM #composition #named

Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.

ECOOP-2012-LeeGHM #metaprogramming #named

Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.

ECOOP-2012-WestbrookZBS #parallel

Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.

ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification

Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.

ECOOP-2012-DeD #analysis #java #pointer #scalability

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates (AD, DD), pp. 665–687.

ECOOP-2012-AliL #graph

Application-Only Call Graph Construction (KA, OL), pp. 688–712.

ECOOP-2012-Ettinger

Program Sliding (RE), pp. 713–737.

ECOOP-2012-XuYR #data type #detection #invariant #static analysis

Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.