ECOOP 2014 – Object-Oriented Programming

28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

  • Richard Jones
Conference proceedings ECOOP 2014

DOI: 10.1007/978-3-662-44202-9

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

Table of contents (27 papers)

  1. Front Matter
  2. Analysis

    1. Self-inferencing Reflection Resolution for Java
      Yue Li, Tian Tan, Yulei Sui, Jingling Xue
      Pages 27-53
    2. Constructing Call Graphs of Scala Programs
      Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip
      Pages 54-79
  3. Design

    1. Safely Composable Type-Specific Languages
      Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
      Pages 105-130
    2. Graceful Dialects
      Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
      Pages 131-156
    3. Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
      Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
      Pages 157-181
  4. Concurrency

    1. Reusable Concurrent Data Types
      Vincent Gramoli, Rachid Guerraoui
      Pages 182-206
    2. TaDA: A Logic for Time and Data Abstraction
      Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
      Pages 207-231
    3. Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
      Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang
      Pages 232-256
  5. Types

    1. Understanding TypeScript
      Gavin Bierman, Martín Abadi, Mads Torgersen
      Pages 257-281
    2. Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
      Heather Miller, Philipp Haller, Martin Odersky
      Pages 308-333
    3. Rely-Guarantee Protocols
      Filipe Militão, Jonathan Aldrich, Luís Caires
      Pages 334-359
  6. Implementation

    1. Stream Processing with a Spreadsheet
      Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
      Pages 360-384
    2. Babelsberg/JS
      Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg et al.
      Pages 411-436
  7. Refactoring

About these proceedings


This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.


JavaScript concurrent programming distributed programming domain specific languages extensible languages invariants parsing performance evaluation program analysis publish-subscribe virtual machines

Editors and affiliations

  • Richard Jones
    • 1
  1. 1.School of ComputingUniversity of KentCanterburyUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44201-2
  • Online ISBN 978-3-662-44202-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349