Skip to main content
SpringerLink
Log in
Book cover

ECOOP 2001 - Object-Oriented Programming

15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Jørgen Lindskov Knudsen

    1. Department of Computer Science, University of Aarhus, Århus N, Denmark

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

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

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Keynote Speech

    1. Language, Objects, and Intentionality

      • Charles Simonyi
      Pages 1-1

  3. Sharing and Encapsulation

    1. Capabilities for Sharing

      • John Boyland, James Noble, William Retert
      Pages 2-27

    2. Sealing, Encapsulation, and Mutablility

      • Marina Biberstein, Joseph (Yossi) Gil, Sara Porat
      Pages 28-52

    3. Simple Ownership Types for Object Containment

      • David G. Clarke, James Noble, John M. Potter
      Pages 53-76

  4. Type Inference and Static Analysis

    1. Distinctness and Sharing Domains for Static Analysis of Java Programs

      • Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
      Pages 77-98

    2. Precise Constraint-Based Type Inference for Java

      • Tiejun Wang, Scott F. Smith
      Pages 99-117

  5. Language Design

    1. CCC: User-Defined Object Structure in C

      • Yasunori Harada, Kenichi Yamazaki, Richard Potter
      Pages 118-129

    2. Fickle: Dynamic Object Re-classification

      • Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
      Pages 130-149

  6. Invited Talk

    1. Scripting .NET Using Mondrian

      • Erik Meijer, Nigel Perry, Arjan van Yzendoorn
      Pages 150-164

  7. Implementation Techniques

    1. A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests

      • Olivier Raynaud, Eric Thierry
      Pages 165-180

    2. On the Usefulness of Liveness for Garbage Collection and Leak Detection

      • Martin Hirzel, Amer Diwan, Antony Hosking
      Pages 181-206

    3. Concurrent Cycle Collection in Reference Counted Systems

      • David F. Bacon, V. T. Rajan
      Pages 207-235

  8. A Bytecode Translator for Distributed Execution of “Legacy” Java Software

    1. A Bytecode Translator for Distributed Execution of “Legacy” Java Software

      • Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano
      Pages 236-255

  9. Reflections on MOP s, Components, and Java Security

    1. Reflections on MOP s, Components, and Java Security

      • Denis Caromel, Julien Vayssière
      Pages 256-274

  10. The Optimistic Readers Transformation

    1. The Optimistic Readers Transformation

      • Robert Strom, Joshua Auerbach
      Pages 275-301

  11. Invited Talk

    1. People and the Limits of Methodology

      • Alistair Cockburn
      Pages 302-302

  12. Language Design

    1. Family Polymorphism

      • Erik Ernst
      Pages 303-326

    2. An Overview of AspectJ

      • Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold
      Pages 327-354

    3. True Modules for Java-like Languages

      • Davide Ancona, Elena Zucca
      Pages 354-380
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.
The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.

Editors and Affiliations

  • Department of Computer Science, University of Aarhus, Århus N, Denmark

    Jørgen Lindskov Knudsen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation