W. Olthoff (Ed.): ECOOP '95 - Object-Oriented Programming 9th European Conference, Åarhus, Denmark, August 1995. Proceedings Springer-Verlag Berlin Heidelberg 1995   LNCS 952   Ordering Information

Table of Contents

Keynote Address (Abstract)

Experiences on The Road to Object Utopia
Dave Thomas
ECOOP '95 (LNCS 952), p. 1
Full article in PDF

Types

The Cartesian Product Algorithm
Ole Agesen
ECOOP '95 (LNCS 952), p. 2 ff.
Full article in PDF

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
Kim B. Bruce, Robert van Gent, and Angela Schuett
ECOOP '95 (LNCS 952), p. 27 ff.
Full article in PDF

Object Imaging
Satish R. Thatté
ECOOP '95 (LNCS 952), p. 52 ff.
Full article in PDF

Programming Languages

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Jeffrey Dean, David Grove, and Craig Chambers
ECOOP '95 (LNCS 952), p. 77 ff.
Full article in PDF

Objects with Multiple Most Specific Classes
Elisa Bertino and Giovanna Guerrini
ECOOP '95 (LNCS 952), p. 102 ff.
Full article in PDF

A Marriage of Class- and Object-Based Inheritance Without Unwanted Children
Patrick Steyaert and Wolfgang De Meuter
ECOOP '95 (LNCS 952), p. 127 ff.
Full article in PDF

Invited Talk

On Subtyping and Matching
Martin Abadi and Luca Cardelli
ECOOP '95 (LNCS 952), p. 145 ff.
Full article in PDF

Reflective Programming / Verification

Using Metaobject Protocols to Implement Atomic Data Types
R.J. Stroud and Z. Wu
ECOOP '95 (LNCS 952), p. 168 ff.
Full article in PDF

Meta-level Programming with CodA
Jeff MeAffer
ECOOP '95 (LNCS 952), p. 190 ff.
Full article in PDF

An Object-Oriented Framework for the Formal Verification of Processors
Laurent Arditi and Hélène Collavizza
ECOOP '95 (LNCS 952), p. 215 ff.
Full article in PDF

Implementation

Incremental Mature Garbage Collection Using the Train Algorithm
Jacob Seligmann and Steffen Grarup
ECOOP '95 (LNCS 952), p. 235 ff.
Full article in PDF

Message Dispatch on Pipelined Processors
Karel Driesen, Urs Hölzle, and Jan Vitek
ECOOP '95 (LNCS 952), p. 253 ff.
Full article in PDF

Do Object-Oriented Languages Need Special Hardware Support?
Urs Hölzle and David Ungar
ECOOP '95 (LNCS 952), p. 283 ff.
Full article in PDF

Invited Talk

Programming as an Experience: The Inspiration for Self
Randall B. Smith and David Ungar
ECOOP '95 (LNCS 952), p. 303 ff.
Full article in PDF

Concurrency / Specification

Time and Asynchrony in Interactions among Distributed Real-Time Objects
Ichiro Satoh and Mario Tokoro
ECOOP '95 (LNCS 952), p. 331 ff.
Full article in PDF

Object Protocols as Functional Parsers
Gert Florijn
ECOOP '95 (LNCS 952), p. 351 ff.
Full article in PDF

Interface-Based Protocol Specification of Open Systems using PSL
Doug Lea and Jos Marlowe
ECOOP '95 (LNCS 952), p. 374 ff.
Full article in PDF

Distribution / Interfaces

Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
Doug Schmidt and Paul Stephenson
ECOOP '95 (LNCS 952), p. 399 ff.
Full article in PDF

Sharing Properties in a Uniform Object Space
Heiko Kießling and Uwe Krüger
ECOOP '95 (LNCS 952), p. 424 ff.
Full article in PDF

ChyPro: A Hypermedia Programming Environment for Smalltalk-80
Maurice Amsellem
ECOOP '95 (LNCS 952), p. 449 ff.
Full article in PDF

Author Index
ECOOP '95 (LNCS 952), p. 471
Author index in PDF

lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2000