Skip to main content
SpringerLink
Log in

ECOOP 2004 - Object-Oriented Programming

18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Martin Odersky

    1. EPFL, Lausanne, Switzerland

    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 3086)

Included in the following conference series:

Conference proceedings info: ECOOP 2004.

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

  1. Verification

    1. Early Identification of Incompatibilities in Multi-component Upgrades

      • Stephen McCamant, Michael D. Ernst
      Pages 440-464

    2. Typestates for Objects

      • Robert DeLine, Manuel Fähndrich
      Pages 465-490

    3. Object Invariants in Dynamic Contexts

      • K. Rustan M. Leino, Peter Müller
      Pages 491-515

  2. Invited Talk 2

    1. Rich Interfaces for Software Modules

      • Thomas A. Henzinger
      Pages 516-517

  3. Systems

    1. Transactional Monitors for Concurrent Objects

      • Adam Welc, Suresh Jagannathan, Antony L. Hosking
      Pages 518-541

    2. Adaptive Tuning of Reserved Space in an Appel Collector

      • José Manuel Velasco, Katzalin Olcoz, Francisco Tirado
      Pages 542-558

    3. Lock Reservation for Java Reconsidered

      • Tamiya Onodera, Kikyokuni Kawachiya, Akira Koseki
      Pages 559-583

    4. Customization of Java Library Classes Using Type Constraints and Profile Information

      • Bjorn De Sutter, Frank Tip, Julian Dolby
      Pages 584-608

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. ECOOP 2004 – Object-Oriented Programming

  2. Object-Oriented Technology. ECOOP 2004 Workshop Reader

Keywords

About this book

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were acceptedforpublicationafterathoroughreviewingprocess.Everypaperreceived atleast4reviews.Paperswereevaluatedbasedonrelevance,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles andabstracts are also included in these proceedings.

Editors and Affiliations

  • EPFL, Lausanne, Switzerland

    Martin Odersky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation