Proceedings of the 23rd 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

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

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

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.

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.