Keynote Address -- Experiences on The Road to Object Utopia -- Types -- The Cartesian Product Algorithm -- PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language -- Object Imaging -- Programming Lauguages -- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis -- Objects with Multiple Most Specific Classes -- A Marriage of Class- and Object-Based Inheritance Without Unwanted Children -- Invited Talk -- On Subtyping and Matching -- Reflective Programming / Verification -- Using Metaobject Protocols to Implement Atomic Data Types -- Meta-level Programming with CodA -- An Object-Oriented Framework for the Formal Verification of Processors -- Implementation -- Incremental Mature Garbage Collection Using the Train Algorithm -- Message Dispatch on Pipelined Processors -- Do Object-Oriented Languages Need Special Hardware Support? -- Invited Talk -- Programming as an Experience: The Inspiration for Self -- Concurrency / Specification -- Time and Asynchrony in Interactions among Distributed Real-Time Objects -- Object Protocols as Functional Parsers -- Interface-Based Protocol Specification of Open Systems using PSL -- Distribution / Interfaces -- Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms -- Sharing Properties in a Uniform Object Space -- ChyPro: A Hypermedia Programming Environment for Smalltalk-80.

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.