ECOOP '95 - Object-Oriented Programming

1. Front Matter

   Pages I-XI

   PDF

2. Keynote Address

   1. Experiences on The Road to Object Utopia

      • Dave Thomas

      Pages 1-1

3. Types

   1. The Cartesian Product Algorithm

      • Ole Agesen

      Pages 2-26

   2. PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

      • Kim B. Bruce, Angela Schuett, Robert van Gent

      Pages 27-51

   3. Object Imaging

      • Satish R. Thatté

      Pages 52-76

4. Programming Lauguages

   1. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

      • Jeffrey Dean, David Grove, Craig Chambers

      Pages 77-101

   2. Objects with Multiple Most Specific Classes

      • Elisa Bertino, Giovanna Guerrini

      Pages 102-126

   3. A Marriage of Class- and Object-Based Inheritance Without Unwanted Children

      • Patrick Steyaert, Wolfgang De Meuter

      Pages 127-144

5. Invited Talk

   1. On Subtyping and Matching

      • Martín Abadi, Luca Cardelli

      Pages 145-167

6. Reflective Programming / Verification

   1. Using Metaobject Protocols to Implement Atomic Data Types

      • R. J. Stroud, Z. Wu

      Pages 168-189

   2. Meta-level Programming with CodA

      • Jeff McAffer

      Pages 190-214

   3. An Object-Oriented Framework for the Formal Verification of Processors

      • Laurent Arditi, Hélère Collavizza

      Pages 215-234

7. Implementation

   1. Incremental Mature Garbage Collection Using the Train Algorithm

      • Jacob Seligmann, Steffen Grarup

      Pages 235-252

   2. Message Dispatch on Pipelined Processors

      • Karel Driesen, Urs Hölzle, Jan Vitek

      Pages 253-282

   3. Do Object-Oriented Languages Need Special Hardware Support?

      • Urs Hölzle, David Ungar

      Pages 283-302

8. Invited Talk

   1. Programming as an Experience: The Inspiration for Self

      • Randall B. Smith, David Ungar

      Pages 303-330

9. Concurrency / Specification

   1. Time and Asynchrony in Interactions among Distributed Real-Time Objects

      • Ichiro Satoh, Mario Tokoro

      Pages 331-350

   2. Object Protocols as Functional Parsers

      • Gert Florijn

      Pages 351-373

   3. Interface-Based Protocol Specification of Open Systems using PSL

      • Doug Lea, Jos Marlowe

      Pages 374-398

10. Distribution / Interfaces

    1. Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms

       • Doug Schmidt, Paul Stephenson

       Pages 399-423

For the ninth time now, the European Conference on Object-Oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fierce c- petition from an increasing number of attractive conferences on object-related topics, ECOOP has successfully positioned itself as the premier European - ject technology conference. One reason is without doubt the composition of the conference week and the nature of its events. Running in parallel on the first two days, a comprehensive tutorial program and a very selective workshop program are offered to attendees. This is followed by a three-day technical p- gram organized in a single track providing a highly communicative atmosphere of scientific exchange and learning. Overlapping with these events are a two-day industrial exhibition and a two-day opportunity for non-industrial system dev- opers to demonstrate their software. Thus, ECOOP is not just a conference on programming but an event touching on the full spectrum of object technology. This volume constitutes the proceedings of the Ninth European Conference on Object-Oriented Programming, ECOOP, held in Aarhus, Denmark, August 7-11, 1995. Previous ECOOP conferences were held in Paris (France), Oslo (Norway), Nottingham (England), Ottawa (Canada, jointly with OOPSLA) , Geneva (Switzerland), Utrecht (the Netherlands) , Kaiserslautern (Germany) , and Bologna (Italy). Object technology continues to increase its impact on the corporate world.

• Distributed Computing
• Object-Oriented Systems
• Object-Oriented Technologies
• Objektorientierte Systeme
• Programmieren
• concurrency
• interfaces
• language
• object-oriented programming
• object-oriented programming (OOP)
• objektorientiertes Programmieren
• pr

• Department of Computer Science, Keio University, Yokohama, Japan

  Mario Tokoro

• Rank Xerox Research Centre, Meylan, France

  Remo Pareschi

Policies and ethics