Skip to main content
SpringerLink
Log in

ECOOP 2011--Object-Oriented Programming

25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Mira Mezini

    1. Software Technology group, Technische Universität, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: ECOOP 2011.

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. Keynote 3

    1. A Featherweight Approach to FOOL

      • Atsushi Igarashi
      Pages 433-433

  2. Types

    1. Related Types

      • Johnni Winther, Michael I. Schwartzbach
      Pages 434-458

    2. Gradual Typestate

      • Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
      Pages 459-483

    3. Maintaining Database Integrity with Refinement Types

      • Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
      Pages 484-509

  3. Runtime and Memory Optimizations

    1. Frequency Estimation of Virtual Call Targets for Object-Oriented Programs

      • Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen
      Pages 510-532

    2. Counting Messages as a Proxy for Average Execution Time in Pharo

      • Alexandre Bergel
      Pages 533-557

    3. Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging

      • Guillaume Pothier, Éric Tanter
      Pages 558-582

  4. Exceptions

    1. Interprocedural Exception Analysis for C++

      • Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivančić, Aarti Gupta
      Pages 583-608

    2. Detecting and Escaping Infinite Loops with Jolt

      • Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
      Pages 609-633

    3. Atomic Boxes: Coordinated Exception Handling with Transactional Memory

      • Derin Harmanci, Vincent Gramoli, Pascal Felber
      Pages 634-657

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. ECOOP 2011 – Object-Oriented Programming

Keywords

About this book

This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. The papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.

Editors and Affiliations

  • Software Technology group, Technische Universität, Darmstadt, Germany

    Mira Mezini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation