This book constitutes the refereed proceedings of the 23rd European Conference on Object-Oriented Programming, ECOOP 2009, held in Genoa, Italy, in July 2009.
The 25 revised full papers, presented together with the abstracts of 2 invited talks and the ECOOP 2008 banquet speech were carefully reviewed and selected from a total of 117 submissions. The papers cover topics such as types, frameworks and modeling; aliasing and transactions; access control and verification; modularity; mining and extracting; refactoring; concurrency, exceptions and initialization; and concurrency and distribution.
Author(s): Simon Peyton Jones (auth.), Sophia Drossopoulou (eds.)
Series: Lecture Notes in Computer Science 5653 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 631
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Management of Computing and Information Systems
Front Matter....Pages -
Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither....Pages 1-1
Coinductive Type Systems for Object-Oriented Languages....Pages 2-26
Checking Framework Interactions with Relationships....Pages 27-51
COPE - Automating Coupled Evolution of Metamodels and Models....Pages 52-76
Making Sense of Large Heaps....Pages 77-97
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis....Pages 98-122
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems....Pages 123-147
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic....Pages 148-172
Fine-Grained Access Control with Object-Sensitive Roles....Pages 173-194
Practical API Protocol Checking with Access Permissions....Pages 195-219
Adding State and Visibility Control to Traits Using Lexical Nesting....Pages 220-243
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes....Pages 244-268
Modular Visitor Components....Pages 269-293
Debugging Method Names....Pages 294-317
MAPO: Mining and Recommending API Usage Patterns....Pages 318-343
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates....Pages 344-368
Stepping Stones over the Refactoring Rubicon....Pages 369-393
Program Metamorphosis....Pages 394-418
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility....Pages 419-443
Java on 1000 Cores: Tales of Hardware/Software Co-design....Pages 444-444
Loci : Simple Thread-Locality for Java....Pages 445-469
Failboxes: Provably Safe Exception Handling....Pages 470-494
Are We Ready for a Safer Construction Environment?....Pages 495-519
Type-Based Object Immutability with Flexible Initialization....Pages 520-545
Security Monitor Inlining for Multithreaded Java....Pages 546-569
EventJava: An Extension of Java for Event Correlation....Pages 570-594
Remote Batch Invocation for Compositional Object Services....Pages 595-617
Introduction to: The Myths of Object-Orientation....Pages 618-618
The Myths of Object-Orientation....Pages 619-629
Back Matter....Pages -
