Skip to main content
  • Conference proceedings
  • © 2008

ECOOP 2008 - Object-Oriented Programming

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

Editors:

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

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

Conference series link(s): ECOOP: European Conference on Object-Oriented Programming

Conference proceedings info: ECOOP 2008.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  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

Other Volumes

  1. ECOOP 2008 – Object-Oriented Programming

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.

Keywords

  • Action
  • design
  • design patterns
  • programming
  • software architecture
  • testing
  • versioning

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions