9. ECOOP 1995: Åarhus, Denmark

@proceedings{DBLP:conf/ecoop/1995,
  editor    = {Walter G. Olthoff},
  title     = {ECOOP'95 - Object-Oriented Programming, 9th European Conference,
               {\AA}arhus, Denmark, August 7-11, 1995, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {952},
  year      = {1995},
  isbn      = {3-540-60160-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address

• Dave A. Thomas:
  Experiences on The Road to Object Utopia (Abstract). 1
  Electronic Edition (Springer LINK) BibTeX

Types

• Ole Agesen:
  The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. 2-26
  Electronic Edition (Springer LINK) BibTeX
• Kim B. Bruce, Angela Schuett, Robert van Gent:
  PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. 27-51
  Electronic Edition (Springer LINK) BibTeX
• Satish R. Thatte:
  Object Imaging. 52-76
  Electronic Edition (Springer LINK) BibTeX

Programming Languages

• Jeffrey Dean, David Grove, Craig Chambers:
  Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. 77-101
  Electronic Edition (Springer LINK) BibTeX
• Elisa Bertino, Giovanna Guerrini:
  Objects with Multiple Most Specific Classes. 102-126
  Electronic Edition (Springer LINK) BibTeX
• Patrick Steyaert, Wolfgang De Meuter:
  A Marriage of Class- and Object-Based inheritance Without Unwanted Children. 127-144
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Martín Abadi, Luca Cardelli:
  On Subtyping and Matching. 145-167
  Electronic Edition (Springer LINK) BibTeX

Reflective Programming/Verification

• Robert J. Stroud, Zhixue Wu:
  Using Metaobject Protocols to Implement Atomic Data Types. 168-189
  Electronic Edition (Springer LINK) BibTeX
• Jeff McAffer:
  Meta-level Programming with CodA. 190-214
  Electronic Edition (Springer LINK) BibTeX
• Laurent Arditi, Hélène Collavizza:
  An Object-Oriented Framework for the Formal Verification of Processors. 215-234
  Electronic Edition (Springer LINK) BibTeX

Implementation

• Jacob Seligmann, Steffen Grarup:
  Incremental Mature Garbage Collection Using the Train Algorithm. 235-252
  Electronic Edition (Springer LINK) BibTeX
• Karel Driesen, Urs Hölzle, Jan Vitek:
  Message Dispatch on Pipelined Processors. 253-282
  Electronic Edition (Springer LINK) BibTeX
• Urs Hölzle, David Ungar:
  Do Object-Oriented Languages Need Special Hardware Support? 283-302
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Randall B. Smith, David Ungar:
  Programming as an Experience: The Inspiration for Self. 303-330
  Electronic Edition (Springer LINK) BibTeX

Concuurency/Specification

• Ichiro Satoh, Mario Tokoro:
  Time and Asynchrony in Interactions among Distributed Real-Time Objects. 331-350
  Electronic Edition (Springer LINK) BibTeX
• Gert Florijn:
  Object Protocols as Functional Parsers. 351-373
  Electronic Edition (Springer LINK) BibTeX
• Doug Lea, Jos Marlowe:
  Interface-Based Protocol Specification of Open Systems using PSL. 374-398
  Electronic Edition (Springer LINK) BibTeX

Distribution/Interfaces

• Douglas C. Schmidt, Paul Stephenson:
  Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms. 399-423
  Electronic Edition (Springer LINK) BibTeX
• Heiko Kießling, Uwe Krüger:
  Sharing Properties in a Uniform Object Space. 424-448
  Electronic Edition (Springer LINK) BibTeX
• Maurice Amsellem:
  ChyPro: A Hypermedia Programming Environment for Smalltalk-80. 449-470
  Electronic Edition (Springer LINK) BibTeX