ECOOP 2013 – Object-Oriented Programming

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

  • Giuseppe Castagna
Conference proceedings ECOOP 2013

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
  8. Modelling and Refactoring

    1. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
      Pages 477-501
    2. Mati Shomrat, Yishai A. Feldman
      Pages 502-526
    3. Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson
      Pages 527-551
    4. Stas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig
      Pages 552-576
  9. Testing, Profiling, and Empirical Studies

    1. Ewan Tempero, Hong Yul Yang, James Noble
      Pages 577-601
    2. Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang
      Pages 602-628
    3. Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov
      Pages 629-653
  10. Implementation

    1. Bo Wu, Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Raul Silvera, Graham Yiu
      Pages 654-678
    2. Josh Auerbach, Dave F. Bacon, Perry Cheng, Steve Fink, Rodric Rabbah
      Pages 679-706
    3. Ingo Maier, Martin Odersky
      Pages 707-731
  11. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-39037-1
  • Online ISBN 978-3-642-39038-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment