Skip to main content
SpringerLink
Log in
Book cover

ECOOP 2009 -- Object-Oriented Programming

23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Sophia Drossopoulou

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5653)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ECOOP 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. ECOOP 2009 – Object-Oriented Programming

Keywords

About this book

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.

Editors and Affiliations

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

    Sophia Drossopoulou

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation