ISBN: 3540542620
TITLE: ECOOP '91 European Conference on Object-Oriented Programming
SUBTITLE: Geneva, Switzerland, July 15-19, 1991. Proceedings
AUTHOR: America, Pierre (Ed.)
TOC:

Modeling the C++ Object Model: An Application of an Abstract Object Model 1
Alan Snyder (HewlettPackard Laboratories, Palo Alto)
Optimizing DynamicallyTyped ObjectOriented Languages With Polymorphic lnline Caches 21
Urs Hlzle, Craig Chambers, David Ungar (Stanford University)
An ObjectOriented Logic Language for Modular System Specification 39
Angelo Morzenti, Pierluigi San Pietro (Politecnico di Milano)
Capsules and Types in Fresco: Program Verification in Smalltalk 59
Alan Wills (University of Manchester)
Schema Modifications in the LISPO2 Persistent ObjectOriented Language 77
Gilles Barbedette (Altar, Le Chesnay)
The Design of an Integrity Consistency Checker (ICC) for an Object Oriented Database System 97
Christine Delcourt (Altar, Le Chesnay), Roberto Zicari (Politecnico di Milano)
Synchronizing Actions 118
Christian Neusius (Universitat des Saarlandes)
An Object Calculus for Asynchronous Communication 133
Kohei Honda, Mario Tokoro (Keio University, Yokohama)
Definition of Reusable Concurrent Software Components 148
Stefano Crespi Reghizzi, Guido Galli de Paratesi (Politecnico di Milano), Stefano Genolini (TXT, Milano)
Inheritance in Object Oriented Z 167
Elspeth Cusack (British Telecom, Ipswich)
OOZE: An Object Oriented Z Environment 180
Antonio J. Alencar, Joseph A. Goguen (University of Oxford)
Issues in the Design and Implementation of a Schema Designer for an OODBMS 200
Jay Almarode (Instantiations, Portland)
Object Integrity Using Rules 219
Claudia Bauzer Medeiros (DCCIMECCUNICAMPCP Campinas), Patrick Pfeffer (University of Colorado, Boulder)
Hybrid Group Reflective Architecture for ObjectOriented Concurrent Reflective Programming 231
Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa (University of Tokyo)
Implementational Reflection in Silica 251
Ramana Rao (Xerox Palo Alto Research Center)
Exceptions in Guide, an ObjectOriented Language for Distributed Applications 268
Serge Lacourte (Bulllmag, Gires)
Representation of Complex Objects: Multiple Facets with PartWhole Hierarchies 288
Francis Wolinski, JeanFranois Perrot (Universit Paris VI and CNRS)
MultiMethods in a StaticallyTyped Programming Language 307
Warwick B. Mugridge, John Hamer, John G. Hosking (University of Auckland)
What is TypeSafe Code Reuse? 325
Jens Palsberg, Michael 1. Schwartzbach (Aarhus University)
Implementation Techniques for Integral Version Management 342
Ernst Lippe (University of Utrecht and Software Engineering Research Centre, Utrecht), Gert Florijn (Software Engineering Research Centre, Utrecht)
ObjectOriented Analysis and TopDown Software Development 360
Dennis de Champeaux (HewlettPackard Laboratories, Palo Alto)
Incremental Class Dictionary Learning and Optimization 377
Paul L. Bergstein, Karl J. Lieberherr (Northeastern University, Boston)
END
