ECOOP 2014 -- Object-Oriented Programming

1. Front Matter

   PDF

2. Analysis

   1. State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects

      • Shiyi Wei, Barbara G. Ryder

      Pages 1-26

   2. Self-inferencing Reflection Resolution for Java

      • Yue Li, Tian Tan, Yulei Sui, Jingling Xue

      Pages 27-53

   3. Constructing Call Graphs of Scala Programs

      • Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip

      Pages 54-79

   4. Finding Reference-Counting Errors in Python/C Programs with Affine Analysis

      • Siliang Li, Gang Tan

      Pages 80-104

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. Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages

      • Davide Ancona, Andrea Corradi

      Pages 282-307

   3. Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

      • Heather Miller, Philipp Haller, Martin Odersky

      Pages 308-333

   4. 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. Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding

      • Maximilian Scherr, Shigeru Chiba

      Pages 385-410

   3. Babelsberg/JS

      • Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg et al.

      Pages 411-436

7. Refactoring

   1. Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks

      • Philip Mayer, Andreas Schroeder

      Pages 437-462

   2. Retargetting Legacy Browser Extensions to Modern Extension Frameworks

      • Rezwana Karim, Mohan Dhawan, Vinod Ganapathy

      Pages 463-488

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

• School of Computing, University of Kent, Canterbury, UK

  Richard Jones

Policies and ethics