kirancodes.me
To Proof Maintenance & Beyond!
Venues / ECOOP /

ECOOP 1995

21 papers

  1. A Marriage of Class- and Object-Based inheritance Without Unwanted Children · Patrick Steyaert, Wolfgang De Meuter
  2. An Object-Oriented Framework for the Formal Verification of Processors · Laurent Arditi, Hélène Collavizza
  3. ChyPro: A Hypermedia Programming Environment for Smalltalk-80 · Maurice Amsellem
  4. Do Object-Oriented Languages Need Special Hardware Support? · Urs Hölzle, David M. Ungar
  5. Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms · Douglas C. Schmidt, Paul Stephenson
  6. Experiences on The Road to Object Utopia (Abstract) · Dave A. Thomas
  7. Incremental Mature Garbage Collection Using the Train Algorithm · Jacob Seligmann, Steffen Grarup
  8. Interface-Based Protocol Specification of Open Systems using PSL · Doug Lea, Jos Marlowe
  9. Message Dispatch on Pipelined Processors · Karel Driesen, Urs Hölzle, Jan Vitek
  10. Meta-level Programming with CodA · Jeff McAffer
  11. Object Imaging · Satish R. Thatte
  12. Object Protocols as Functional Parsers · Gert Florijn
  13. Objects with Multiple Most Specific Classes · Elisa Bertino, Giovanna Guerrini
  14. On Subtyping and Matching · Martín Abadi, Luca Cardelli
  15. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis · Jeffrey Dean, David Grove, Craig Chambers
  16. PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language · Kim B. Bruce, Angela Schuett, Robert van Gent
  17. Programming as an Experience: The Inspiration for Self · Randall B. Smith, David M. Ungar
  18. Sharing Properties in a Uniform Object Space · Heiko Kießling, Uwe Krüger
  19. The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism · Ole Agesen
  20. Time and Asynchrony in Interactions among Distributed Real-Time Objects · Ichiro Satoh, Mario Tokoro
  21. Using Metaobject Protocols to Implement Atomic Data Types · Robert J. Stroud, Zhixue Wu