ECOOP 2013 – Object-Oriented Programming

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

Editors:

ISBN: 978-3-642-39037-1 (Print) 978-3-642-39038-8 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Aspects, Components, and Modularity

    1. No Access

      Book Chapter

      Pages 1-26

      CoCo: Sound and Adaptive Replacement of Java Collections

    2. No Access

      Book Chapter

      Pages 27-51

      Feature-Oriented Programming with Object Algebras

    3. No Access

      Book Chapter

      Pages 52-78

      Composition and Reuse with Compiled Domain-Specific Languages

  3. Types

    1. No Access

      Book Chapter

      Pages 79-103

      Combining Form and Function: Static Types for JQuery Programs

    2. No Access

      Book Chapter

      Pages 104-128

      Heap Decomposition Inference with Linear Programming

    3. No Access

      Book Chapter

      Pages 129-153

      A Formal Semantics for Isorecursive and Equirecursive State Abstractions

  4. Language Design

    1. No Access

      Book Chapter

      Pages 154-178

      Trustworthy Proxies

    2. No Access

      Book Chapter

      Pages 179-204

      Java UI : Effects for Controlling UI Object Access

    3. No Access

      Book Chapter

      Pages 205-229

      The Billion-Dollar Fix

  5. Concurrency, Parallelism, and Distribution

    1. No Access

      Book Chapter

      Pages 230-254

      Implementing Federated Object Systems

    2. No Access

      Book Chapter

      Pages 255-280

      RedCard: Redundant Check Elimination for Dynamic Race Detectors

    3. No Access

      Book Chapter

      Pages 281-301

      Ownership-Based Isolation for Concurrent Actors on Multi-core Machines

    4. No Access

      Book Chapter

      Pages 302-326

      Why Do Scala Developers Mix the Actor Model with other Concurrency Models?

  6. Analysis and Verification 1

    1. No Access

      Book Chapter

      Pages 327-351

      Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library

    2. No Access

      Book Chapter

      Pages 352-377

      Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine

    3. No Access

      Book Chapter

      Pages 378-400

      Averroes: Whole-Program Analysis without the Whole Program

  7. Analysis and Verification 2

    1. No Access

      Book Chapter

      Pages 401-425

      QUIC Graphs: Relational Invariant Generation for Containers

    2. No Access

      Book Chapter

      Pages 426-450

      Reducing Lookups for Invariant Checking

    3. No Access

      Book Chapter

      Pages 451-476

      Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions

  8. Modelling and Refactoring

    1. No Access

      Book Chapter

      Pages 477-501

      Really Automatic Scalable Object-Oriented Reengineering

previous Page of 2