default search action
23rd ECOOP 2009: Genoa, Italy
- Sophia Drossopoulou:
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5653, Springer 2009, ISBN 978-3-642-03012-3
Keynote 1
- Simon L. Peyton Jones:
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. 1
Types, Frameworks and Modelling
- Davide Ancona, Giovanni Lagorio
:
Coinductive Type Systems for Object-Oriented Languages. 2-26 - Ciera Jaspan, Jonathan Aldrich
Checking Framework Interactions with Relationships. 27-51 - Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens:
COPE - Automating Coupled Evolution of Metamodels and Models. 52-76
Aliasing and Transactions
- Nick Mitchell, Edith Schonberg, Gary Sevitsky:
Making Sense of Large Heaps. 77-97 - Guoqing Xu, Atanas Rountev, Manu Sridharan
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. 98-122 - Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy:
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. 123-147
Access Control and Verification
- Jan Smans, Bart Jacobs
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. 148-172 - Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein:
Fine-Grained Access Control with Object-Sensitive Roles. 173-194 - Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
Practical API Protocol Checking with Access Permissions. 195-219
Modularity
- Tom Van Cutsem
Adding State and Visibility Control to Traits Using Lexical Nesting. 220-243 - Giovanni Lagorio
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. 244-268 - Bruno C. d. S. Oliveira:
Modular Visitor Components. 269-293
Mining and Extracting
- Einar W. Høst, Bjarte M. Østvold:
Debugging Method Names. 294-317 - Hao Zhong
MAPO: Mining and Recommending API Usage Patterns. 318-343 - Abbas Heydarnoori
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. 344-368
Refactoring
- Max Schäfer
Stepping Stones over the Refactoring Rubicon. 369-393 - Christoph Reichenbach
Program Metamorphosis. 394-418 - Friedrich Steimann
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. 419-443
Keynote 2
- Cliff Click:
Java on 1000 Cores: Tales of Hardware/Software Co-design. 444
Concurrency, Exceptions and Initialization
- Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek:
Loci: Simple Thread-Locality for Java. 445-469 - Bart Jacobs
Failboxes: Provably Safe Exception Handling. 470-494 - Joseph Gil, Tali Shragai:
Are We Ready for a Safer Construction Environment? 495-519 - Christian Haack, Erik Poll:
Type-Based Object Immutability with Flexible Initialization. 520-545
Concurrency and Distribution
- Mads Dam, Bart Jacobs
Security Monitor Inlining for Multithreaded Java. 546-569 - Patrick Th. Eugster, K. R. Jayaram:
EventJava: An Extension of Java for Event Correlation. 570-594 - Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook:
Remote Batch Invocation for Compositional Object Services. 595-617
ECOOP '08 Banquet Speech
- Jan Vitek:
Introduction to: The Myths of Object-Orientation. 618 - James Noble
The Myths of Object-Orientation. 619-629
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: