Sophia Drossopoulou
Proceedings of the 23rd European Conference on Object-Oriented Programming
ECOOP, 2009.

@proceedings{ECOOP-2009,
	address       = "Genoa, Italy",
	doi           = "10.1007/978-3-642-03013-0",
	editor        = "Sophia Drossopoulou",
	isbn          = "978-3-642-03012-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd European Conference on Object-Oriented Programming}",
	volume        = 5653,
	year          = 2009,
}

Contents (29 items)

6 ×#named
5 ×#java
3 ×#composition
3 ×#object-oriented
2 ×#api
2 ×#automation
2 ×#co-evolution
2 ×#design
2 ×#framework
2 ×#parallel

ECOOP-2009-Jones #haskell #what #why

Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither (SLPJ), p. 1.

ECOOP-2009-AnconaL #induction #object-oriented #type system

Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.

ECOOP-2009-JaspanA #framework #interactive

Checking Framework Interactions with Relationships (CJ, JA), pp. 27–51.

ECOOP-2009-HerrmannsdoerferBJ #automation #co-evolution #evolution #metamodelling #modelling #named

COPE — Automating Coupled Evolution of Metamodels and Models (MH, SB, EJ), pp. 52–76.

ECOOP-2009-MitchellSS #scalability

Making Sense of Large Heaps (NM, ES, GS), pp. 77–97.

ECOOP-2009-XuRS #alias #analysis #points-to #scalability #using

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis (G(X, AR, MS), pp. 98–122.

ECOOP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.

ECOOP-2009-SmansJP #logic

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.

ECOOP-2009-FischerMMM #data access #fine-grained

Fine-Grained Access Control with Object-Sensitive Roles (JF, DM, RM, TDM), pp. 173–194.

ECOOP-2009-BierhoffBA #api #protocol

Practical API Protocol Checking with Access Permissions (KB, NEB, JA), pp. 195–219.

ECOOP-2009-CutsemBDM #using

Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.

ECOOP-2009-LagorioSZ #calculus #composition

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.

ECOOP-2009-Oliveira #component #composition #visitor

Modular Visitor Components (BCdSO), pp. 269–293.

ECOOP-2009-HostO #debugging

Debugging Method Names (EWH, BMØ), pp. 294–317.

ECOOP-2009-ZhongXZPM #api #mining #named #recommendation

MAPO: Mining and Recommending API Usage Patterns (HZ, TX, LZ, JP, HM), pp. 318–343.

ECOOP-2009-HeydarnooriCB #automation #concept #framework

Supporting Framework Use via Automatically Extracted Concept-Implementation Templates (AH, KC, TTB), pp. 344–368.

ECOOP-2009-SchaferVEM #refactoring

Stepping Stones over the Refactoring Rubicon (MS, MV, TE, OdM), pp. 369–393.

ECOOP-2009-ReichenbachCD

Program Metamorphosis (CR, DC, AD), pp. 394–418.

ECOOP-2009-SteimannT #java #refactoring #source code

From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility (FS, AT), pp. 419–443.

ECOOP-2009-Click #co-evolution #design #hardware #java

Java on 1000 Cores: Tales of Hardware/Software Co-design (CC), p. 444.

ECOOP-2009-WrigstadPMZV #java #named #thread

Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.

ECOOP-2009-JacobsP #exception #named

Failboxes: Provably Safe Exception Handling (BJ, FP), pp. 470–494.

ECOOP-2009-GilS #question

Are We Ready for a Safer Construction Environment? (JYG, TS), pp. 495–519.

ECOOP-2009-HaackP #flexibility #type system

Type-Based Object Immutability with Flexible Initialization (CH, EP), pp. 520–545.

ECOOP-2009-DamJLP #java #monitoring #parallel #security #thread

Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.

ECOOP-2009-EugsterJ #correlation #java #named

EventJava: An Extension of Java for Event Correlation (PTE, KRJ), pp. 570–594.

ECOOP-2009-IbrahimJTC #composition

Remote Batch Invocation for Compositional Object Services (AI, YJ, ET, WRC), pp. 595–617.

ECOOP-2009-Vitek #object-oriented

Introduction to: The Myths of Object-Orientation (JV), p. 618.

ECOOP-2009-Noble #object-oriented

The Myths of Object-Orientation (JN), pp. 619–629.