9. ECOOP 1995: Åarhus, Denmark
- Walter G. Olthoff:
ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science 952, Springer 1995, ISBN 3-540-60160-0
Keynote Address
Types
- Ole Agesen:
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. 2-26 - Kim B. Bruce, Angela Schuett, Robert van Gent:
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. 27-51
Programming Languages
- Jeffrey Dean, David Grove, Craig Chambers:
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. 77-101 - Patrick Steyaert, Wolfgang De Meuter:
A Marriage of Class- and Object-Based inheritance Without Unwanted Children. 127-144
Invited Talk
Reflective Programming/Verification
- Laurent Arditi, Hélène Collavizza:
An Object-Oriented Framework for the Formal Verification of Processors. 215-234
Implementation
- Jacob Seligmann, Steffen Grarup:
Incremental Mature Garbage Collection Using the Train Algorithm. 235-252
Invited Talk
Concuurency/Specification
- Ichiro Satoh, Mario Tokoro:
Time and Asynchrony in Interactions among Distributed Real-Time Objects. 331-350
Distribution/Interfaces
- Douglas C. Schmidt, Paul Stephenson:
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms. 399-423