Skip to main content
SpringerLink
Log in

ECOOP 2014 -- Object-Oriented Programming

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Richard Jones

    1. School of Computing, University of Kent, Canterbury, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ECOOP 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. ECOOP 2014 – Object-Oriented Programming

Keywords

About this book

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.

Editors and Affiliations

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

    Richard Jones

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation