Proceedings of the 26th European Conference on Object-Oriented Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

OOP
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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 (, 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.