ECOOP '91, European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings

Modeling the C++ Object Model: An Application of an Abstract Object Model / -- Alan Snyder (Hewlett-Packard Laboratories, Palo Alto) -- -- Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches/ -- Urs HSIzle, Craig Chambers, David Ungar (Stanford University) -- -- An Object-Oriented Logic Language for Modular System Specification / -- Angelo Morzenti, Pierluigi San Pietro (Politecnico di Milano) -- -- Capsules and Types in Fresco: Program Verification in Smalltalk/ -- Alan Wills (University of Manchester) -- -- Schema Modifications in the LISPO2 Persistent Object-Oriented Language/ -- Gilles Barbedette (AltaYr, Le Chesnay) -- -- The Design of an Integrity Consistency Checker (ICC) for an Object Oriented Database System / -- Christine Delcourt (AltaYr, Le Chesnay), Roberto Zicari (Politecnico di Milano) -- -- Synchronizing Actions / -- Christian Neusius (Universit~t des Saarlandes) -- -- An Object Calculus for Asynchronous Communication / -- Kohei Honda, Mario Tokoro (Keio University, Yokohama) -- -- Definition of Reusable Concurrent Software Components / -- Stefano Crespi Reghizzi, Guido Galli de Paratesi (Politecnico di Milano), Stefano Genolini (TXT, Milano) -- -- Inheritance in Object Oriented Z / -- Elspeth Cusack (British Telecom, Ipswich) -- -- OOZE: An Object Oriented Z Environment / -- Antonio J. Alencar, Joseph A. Goguen (University of Oxford) -- -- Issues in the Design and Implementation of a Schema Designer for an OODBMS / -- Jay Almarode (Instantiations, Portland) -- -- Object Integrity Using Rules / -- Claudia Bauzer Medeiros (DCC-IMECC-UNICAMP-CP, Campinas),Patrick Pfeffer (University of Colorado, Boulder) -- -- Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming / -- Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa (University of Tokyo) -- -- Implementational Reflection in Silica / -- Ramana Rao (Xerox Palo Alto Research Center) -- -- Exceptions in Guide, an Object-Oriented Language for Distributed Applications / -- Serge Lacourte (Bull-lmag, Gi#res) -- -- Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies / -- Francis Wolinski, Jean-Frans Perrot (Universit# Paris VI and CNRS) -- -- Multi-Methods in a Statically-Typed Programming Language / -- Warwick B. Mugridge, John Hamer, John G. Hosking (University of Auckland) -- -- What is Type-Safe Code Reuse? / -- Jens Palsberg, Michael I. Schwartzbach (Aarhus University) -- -- Implementation Techniques for Integral Version Management / -- Ernst Lippe (University of Utrecht and Software Engineering Research Centre, Utrecht), Gert Florijn (Software Engineering Research Centre, Utrecht) -- -- Object-Oriented Analysis and Top-Down Software Development / -- Dennis de Champeaux (Hewlett-Packard Laboratories, Palo Alto) -- -- Incremental Class Dictionary Learning and Optimization / -- Paul L. Bergstein, Karl J. Lieberherr (Northeastern Universi~ Boston)