ECOOP 2009 -- Object-Oriented Programming

1. Front Matter

   PDF

2. Keynote 1

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

      • Simon Peyton Jones

      Pages 1-1

3. Types, Frameworks and Modelling

   1. Coinductive Type Systems for Object-Oriented Languages

      • Davide Ancona, Giovanni Lagorio

      Pages 2-26

   2. Checking Framework Interactions with Relationships

      • Ciera Jaspan, Jonathan Aldrich

      Pages 27-51

   3. COPE - Automating Coupled Evolution of Metamodels and Models

      • Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens

      Pages 52-76

4. Aliasing and Transactions

   1. Making Sense of Large Heaps

      • Nick Mitchell, Edith Schonberg, Gary Sevitsky

      Pages 77-97

   2. Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis

      • Guoqing Xu, Atanas Rountev, Manu Sridharan

      Pages 98-122

   3. NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems

      • Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy

      Pages 123-147

5. Access Control and Verification

   1. Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic

      • Jan Smans, Bart Jacobs, Frank Piessens

      Pages 148-172

   2. Fine-Grained Access Control with Object-Sensitive Roles

      • Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd Millstein

      Pages 173-194

   3. Practical API Protocol Checking with Access Permissions

      • Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich

      Pages 195-219

6. Modularity

   1. Adding State and Visibility Control to Traits Using Lexical Nesting

      • Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter

      Pages 220-243

   2. Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes

      • Giovanni Lagorio, Marco Servetto, Elena Zucca

      Pages 244-268

   3. Modular Visitor Components

      • Bruno C. d. S. Oliveira

      Pages 269-293

7. Mining and Extracting

   1. Debugging Method Names

      • Einar W. Høst, Bjarte M. Østvold

      Pages 294-317

   2. MAPO: Mining and Recommending API Usage Patterns

      • Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei

      Pages 318-343

   3. Supporting Framework Use via Automatically Extracted Concept-Implementation Templates

      • Abbas Heydarnoori, Krzysztof Czarnecki, Thiago Tonelli Bartolomei

      Pages 344-368

8. Refactoring

   1. Stepping Stones over the Refactoring Rubicon

      • Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor

      Pages 369-393

   2. Program Metamorphosis

      • Christoph Reichenbach, Devin Coughlin, Amer Diwan

      Pages 394-418

   3. From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility

      • Friedrich Steimann, Andreas Thies

      Pages 419-443

Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference — with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assembling a ?ne scienti?c program including forward-looking keynotes, and for her e?orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e?ort to write up last year’s banquet speech so that it could be included in this year’s proceedings. One of the strong features of ECOOPis the two days of workshopspreceding themainconferencethatallowsintenseinteractionbetweenparticipants.Thanks to all workshop organizers. Lastyear’ssuccessfulsummerschooltutorialswerefollowedupthisyearwith seven interesting tutorials. Thanks to the organizers and speakers. This year’s Dahl-Nygaard award honored yet another pioneer in the ?eld, namely, David Ungar for his contributions includingSelf. I appreciate his e?orts in providing us with an excellent award talk. The world is changing and so is ECOOP. Please contemplate my short note on the following pages entitled On Future Trends for ECOOP.

• Action
• Factor
• Java programming
• abstraction
• aspect-oriented programming
• component systems
• distributed objects
• distributed systems
• empirical study
• exception handling
• meta-modeling
• model-driven SE
• modeling
• programming
• verification

• Department of Computing, Imperial College London, London, UK

  Sophia Drossopoulou

Policies and ethics