ECOOP 2009 – Object-Oriented Programming

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

  • Sophia Drossopoulou

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

Table of contents

  1. Front Matter
  2. Keynote 1

  3. Types, Frameworks and Modelling

    1. Davide Ancona, Giovanni Lagorio
      Pages 2-26
    2. Ciera Jaspan, Jonathan Aldrich
      Pages 27-51
    3. Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
      Pages 52-76
  4. Aliasing and Transactions

    1. Nick Mitchell, Edith Schonberg, Gary Sevitsky
      Pages 77-97
    2. Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy
      Pages 123-147
  5. Access Control and Verification

    1. Jan Smans, Bart Jacobs, Frank Piessens
      Pages 148-172
    2. Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd Millstein
      Pages 173-194
    3. Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
      Pages 195-219
  6. Modularity

    1. Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter
      Pages 220-243
    2. Giovanni Lagorio, Marco Servetto, Elena Zucca
      Pages 244-268
    3. Bruno C. d. S. Oliveira
      Pages 269-293
  7. Mining and Extracting

    1. Einar W. Høst, Bjarte M. Østvold
      Pages 294-317
    2. Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei
      Pages 318-343
    3. Abbas Heydarnoori, Krzysztof Czarnecki, Thiago Tonelli Bartolomei
      Pages 344-368
  8. Refactoring

    1. Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor
      Pages 369-393
    2. Christoph Reichenbach, Devin Coughlin, Amer Diwan
      Pages 394-418

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Sophia Drossopoulou
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03013-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03012-3
  • Online ISBN 978-3-642-03013-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book