Book Volume 8586 2014

ECOOP 2014 – Object-Oriented Programming

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

Editors:

ISBN: 978-3-662-44201-2 (Print) 978-3-662-44202-9 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Analysis

    1. No Access

      Chapter

      Pages 1-26

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

    2. No Access

      Chapter

      Pages 27-53

      Self-inferencing Reflection Resolution for Java

    3. No Access

      Chapter

      Pages 54-79

      Constructing Call Graphs of Scala Programs

    4. No Access

      Chapter

      Pages 80-104

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

  3. Design

    1. No Access

      Chapter

      Pages 105-130

      Safely Composable Type-Specific Languages

    2. No Access

      Chapter

      Pages 131-156

      Graceful Dialects

    3. No Access

      Chapter

      Pages 157-181

      Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming

  4. Concurrency

    1. No Access

      Chapter

      Pages 182-206

      Reusable Concurrent Data Types

    2. No Access

      Chapter

      Pages 207-231

      TaDA: A Logic for Time and Data Abstraction

    3. No Access

      Chapter

      Pages 232-256

      Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores

  5. Types

    1. No Access

      Chapter

      Pages 257-281

      Understanding TypeScript

    2. No Access

      Chapter

      Pages 282-307

      Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages

    3. No Access

      Chapter

      Pages 308-333

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

    4. No Access

      Chapter

      Pages 334-359

      Rely-Guarantee Protocols

  6. Implementation

    1. No Access

      Chapter

      Pages 360-384

      Stream Processing with a Spreadsheet

    2. No Access

      Chapter

      Pages 385-410

      Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding

    3. No Access

      Chapter

      Pages 411-436

      Babelsberg/JS

  7. Refactoring

    1. No Access

      Chapter

      Pages 437-462

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

    2. No Access

      Chapter

      Pages 463-488

      Retargetting Legacy Browser Extensions to Modern Extension Frameworks

    3. No Access

      Chapter

      Pages 489-514

      Capture-Avoiding and Hygienic Program Transformations

previous Page of 2