Giuseppe Castagna
Proceedings of the 27th European Conference on Object-Oriented Programming
ECOOP, 2013.

@proceedings{ECOOP-2013,
	address       = "Montpellier, France",
	doi           = "10.1007/978-3-642-39038-8",
	editor        = "Giuseppe Castagna",
	isbn          = "978-3-642-39037-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 27th European Conference on Object-Oriented Programming}",
	volume        = 7920,
	year          = 2013,
}

Contents (29 items)

6 ×#composition
4 ×#java
4 ×#named
3 ×#automation
3 ×#concurrent
3 ×#invariant
3 ×#programming
3 ×#refactoring
2 ×#abstraction
2 ×#case study

ECOOP-2013-Xu #adaptation #java #named

CoCo: Sound and Adaptive Replacement of Java Collections (G(X), pp. 1–26.

ECOOP-2013-OliveiraSLC #algebra #feature model #programming

Feature-Oriented Programming with Object Algebras (BCdSO, TvdS, AL, WRC), pp. 27–51.

ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse

Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.

ECOOP-2013-LernerELK #source code #static typing

Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.

ECOOP-2013-ZhuL #composition #linear #programming

Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.

ECOOP-2013-SummersD #abstraction #recursion #semantics

A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.

ECOOP-2013-CutsemM #invariant

Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.

ECOOP-2013-GordonDEG #java #user interface

Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.

ECOOP-2013-ServettoMPN #composition

The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.

ECOOP-2013-FreudenreichEFAB #implementation #object-oriented

Implementing Federated Object Systems (TF, PE, SF, SA, APB), pp. 230–254.

ECOOP-2013-FlanaganF #detection #named

RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.

ECOOP-2013-GruberB #concurrent #manycore

Ownership-Based Isolation for Concurrent Actors on Multi-core Machines (OG, FB), pp. 281–301.

ECOOP-2013-TasharofiDJ #concurrent #developer #modelling #question #scala #why

Why Do Scala Developers Mix the Actor Model with other Concurrency Models? (ST, PD, REJ), pp. 302–326.

ECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.

ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.

ECOOP-2013-AliL #named #program analysis

Averroes: Whole-Program Analysis without the Whole Program (KA, OL), pp. 378–400.

ECOOP-2013-CoxCS #generative #graph #invariant #relational

QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.

ECOOP-2013-ThomsenCADE #invariant

Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.

ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.

ECOOP-2013-TrudelFNM #automation #object-oriented #re-engineering #scalability

Really Automatic Scalable Object-Oriented Reengineering (MT, CAF, MN, BM), pp. 477–501.

ECOOP-2013-ShomratF #detection

Detecting Refactored Clones (MS, YAF), pp. 502–526.

ECOOP-2013-VakilianCMNJ #automation #composition #paradigm #refactoring

A Compositional Paradigm of Automating Refactorings (MV, NC, RZM, SN, REJ), pp. 527–551.

ECOOP-2013-NegaraCVJD #automation #case study #comparative #refactoring

A Comparative Study of Manual and Automated Refactorings (SN, NC, MV, REJ, DD), pp. 552–576.

ECOOP-2013-TemperoYN #inheritance #java #what

What Programmers Do with Inheritance in Java (EDT, HYY, JN), pp. 577–601.

ECOOP-2013-HaoLZG0 #debugging #question

Is This a Bug or an Obsolete Test? (DH, TL, HZ, CG, LZ), pp. 602–628.

ECOOP-2013-GligoricBLOHM #refactoring #testing

Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.

ECOOP-2013-WuZSGSY #fault #optimisation #statistics

Simple Profile Rectifications Go a Long Way — Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations (BW, MZ, XS, YG, RS, GY), pp. 654–678.

ECOOP-2013-AuerbachBCFR #compilation #configuration management #graph #hardware

The Shape of Things to Run — Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime (JSA, DFB, PC, SF, RMR), pp. 679–706.

ECOOP-2013-MaierO #higher-order #incremental #programming

Higher-Order Reactive Programming with Incremental Lists (IM, MO), pp. 707–731.