ECOOP 2013 – Object-Oriented Programming

27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

  • Giuseppe Castagna
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7920)

Table of contents

  1. Front Matter
  2. Aspects, Components, and Modularity

    1. Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
      Pages 27-51
    2. Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic et al.
      Pages 52-78
  3. Types

    1. Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
      Pages 79-103
    2. Haitao Steve Zhu, Yu David Liu
      Pages 104-128
    3. Alexander J. Summers, Sophia Drossopoulou
      Pages 129-153
  4. Language Design

    1. Tom Van Cutsem, Mark S. Miller
      Pages 154-178
    2. Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
      Pages 179-204
    3. Marco Servetto, Julian Mackay, Alex Potanin, James Noble
      Pages 205-229
  5. Concurrency, Parallelism, and Distribution

    1. Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro Buchmann
      Pages 230-254
    2. Cormac Flanagan, Stephen N. Freund
      Pages 255-280
    3. Olivier Gruber, Fabienne Boyer
      Pages 281-301
    4. Samira Tasharofi, Peter Dinges, Ralph E. Johnson
      Pages 302-326
  6. Analysis and Verification 1

    1. Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 327-351
    2. Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma
      Pages 352-377
    3. Karim Ali, Ondřej Lhoták
      Pages 378-400
  7. Analysis and Verification 2

    1. Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
      Pages 401-425
    2. Jakob G. Thomsen, Christian Clausen, Kristoffer J. Andersen, John Danaher, Erik Ernst
      Pages 426-450
    3. Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
      Pages 451-476

About these proceedings


This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.

Editors and affiliations

  • Giuseppe Castagna
    • 1
  1. 1.CNRS, PPS - Université Paris DiderotParis Cedex 13France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39037-1
  • Online ISBN 978-3-642-39038-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book