Skip to main content
SpringerLink
Log in
Book cover

ECOOP 2008 - Object-Oriented Programming

22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Jan Vitek
    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 5142)

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

Included in the following conference series:

Conference proceedings info: ECOOP 2008.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote

    1. The Return of Transactions

      • Rachid Guerraoui
      Pages 1-1

  3. Session I

    1. A Model for Java with Wildcards

      • Nicholas Cameron, Sophia Drossopoulou, Erik Ernst
      Pages 2-26

    2. On Validity of Program Transformations in the Java Memory Model

      • Jaroslav Ševčík, David Aspinall
      Pages 27-51

    3. Safe Cross-Language Inheritance

      • Kathryn E. Gray
      Pages 52-75

  4. Session II

    1. Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary

      • Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric Rabbah
      Pages 76-103

    2. Kilim: Isolation-Typed Actors for Java

      • Sriram Srinivasan, Alan Mycroft
      Pages 104-128

    3. A Uniform Transactional Execution Environment for Java

      • Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan
      Pages 129-154

  5. Session III

    1. Ptolemy: A Language with Quantified, Typed Events

      • Hridesh Rajan, Gary T. Leavens
      Pages 155-179

    2. Prototyping and Composing Aspect Languages

      • Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit
      Pages 180-206

    3. Assessing the Impact of Aspects on Exception Flows: An Exploratory Study

      • Roberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Ferrari, Nélio Cacho, Uirá Kulesza et al.
      Pages 207-234

  6. Session IV

    1. UpgradeJ: Incremental Typechecking for Class Upgrades

      • Gavin Bierman, Matthew Parkinson, James Noble
      Pages 235-259

    2. Integrating Nominal and Structural Subtyping

      • Donna Malayeri, Jonathan Aldrich
      Pages 260-284

    3. Flow Analysis of Code Customizations

      • Anders Hessellund, Peter Sestoft
      Pages 285-308

  7. Session V

    1. Online Phase-Adaptive Data Layout Selection

      • Chengliang Zhang, Martin Hirzel
      Pages 309-334

    2. MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments

      • Sunil Soman, Chandra Krintz, Laurent Daynès
      Pages 335-361

    3. Externalizing Java Server Concurrency with CAL

      • Charles Zhang, Hans-Arno Jacobsen
      Pages 362-386

  8. Session VI

    1. Regional Logic for Local Reasoning about Global Invariants

      • Anindya Banerjee, David A. Naumann, Stan Rosenberg
      Pages 387-411

    2. A Unified Framework for Verification Techniques for Object Invariants

      • S. Drossopoulou, A. Francalanza, P. Müller, A. J. Summers
      Pages 412-437

    3. Extensible Universes for Object-Oriented Data Models

      • Achim D. Brucker, Burkhart Wolff
      Pages 438-462
Back to top

Other volumes

  1. ECOOP 2008 – Object-Oriented Programming

  2. Object-Oriented Technology. ECOOP 2008 Workshop Reader

Keywords

About this book

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad object-oriented community with a tech- cal program spanning theory and practice and a healthy mix of industrial and academic participants. This year a strong workshop and tutorial program c- plementedthemaintechnicaltrack.Wehad13workshopsand8tutorials,aswell as the co-located Dynamic Language Symposium (DLS). Finally, the program was rounded out with a keynote by Rachid Guerraoui and a banquet speech by James Noble. As in previous years, two Dahl-Nygaard awards were selected by AITO, and for the ?rst time, the ECOOP Program Committee gave a best paper award. Theproceedingsinclude27papersselectedfrom138submissions.Thepapers werereviewed in a single-blind process with three to ?ve reviews per paper. P- liminaryversionsofthereviewsweremadeavailabletotheauthorsaweekbefore the PC meeting to allow for short (500 words or less) author responses. The - sponses were discussed at the PC meeting and were instrumental in reaching decisions. The PC discussions followed Oscar Nierstrasz’Champion pattern. PC papers had ?ve reviews and were held at a higher standard.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation