Skip to main content
SpringerLink
Log in
Book cover

ECOOP 2013 -- Object-Oriented Programming

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Giuseppe Castagna

    1. CNRS, PPS - Université Paris Diderot, Paris Cedex 13, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Conference proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013

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

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

Included in the following conference series:

Conference proceedings info: ECOOP 2013.

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 (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Aspects, Components, and Modularity

    1. CoCo: Sound and Adaptive Replacement of Java Collections

      • Guoqing Xu
      Pages 1-26

    2. Feature-Oriented Programming with Object Algebras

      • Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
      Pages 27-51

    3. Composition and Reuse with Compiled Domain-Specific Languages

      • Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic et al.
      Pages 52-78

  3. Types

    1. Combining Form and Function: Static Types for JQuery Programs

      • Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
      Pages 79-103

    2. Heap Decomposition Inference with Linear Programming

      • Haitao Steve Zhu, Yu David Liu
      Pages 104-128

    3. A Formal Semantics for Isorecursive and Equirecursive State Abstractions

      • Alexander J. Summers, Sophia Drossopoulou
      Pages 129-153

  4. Language Design

    1. Trustworthy Proxies

      • Tom Van Cutsem, Mark S. Miller
      Pages 154-178

    2. Java UI : Effects for Controlling UI Object Access

      • Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
      Pages 179-204

    3. The Billion-Dollar Fix

      • Marco Servetto, Julian Mackay, Alex Potanin, James Noble
      Pages 205-229

  5. Concurrency, Parallelism, and Distribution

    1. Implementing Federated Object Systems

      • Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro Buchmann
      Pages 230-254

    2. RedCard: Redundant Check Elimination for Dynamic Race Detectors

      • Cormac Flanagan, Stephen N. Freund
      Pages 255-280

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

      • Olivier Gruber, Fabienne Boyer
      Pages 281-301

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

      • Samira Tasharofi, Peter Dinges, Ralph E. Johnson
      Pages 302-326

  6. Analysis and Verification 1

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

      • Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 327-351

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

      • Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma
      Pages 352-377

    3. Averroes: Whole-Program Analysis without the Whole Program

      • Karim Ali, Ondřej Lhoták
      Pages 378-400

  7. Analysis and Verification 2

    1. QUIC Graphs: Relational Invariant Generation for Containers

      • Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
      Pages 401-425

    2. Reducing Lookups for Invariant Checking

      • Jakob G. Thomsen, Christian Clausen, Kristoffer J. Andersen, John Danaher, Erik Ernst
      Pages 426-450

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

      • Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
      Pages 451-476
Back to top

Other volumes

  1. ECOOP 2013 – Object-Oriented Programming

About this book

This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.

Editors and Affiliations

  • CNRS, PPS - Université Paris Diderot, Paris Cedex 13, France

    Giuseppe Castagna

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation