ECOOP A

23 papers

YearTitle / Authors
1991An Object Calculus for Asynchronous Communication.
Kohei Honda, Mario Tokoro
1991An Object-Oriented Logic Language for Modular System Specification.
Angelo Morzenti, Pierluigi San Pietro
1991Capsules and Types in Fresco: Program Verification in Smalltalk.
Alan Wills
1991Definition of Reusable Concurrent Software Components.
Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini
1991ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings
Pierre America
1991Exceptions in Guide, an Object-Oriented Language for Distributed Applications.
Serge Lacourte
1991Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming.
Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa
1991Implementation Techniques for Integral Version Management.
Ernst Lippe, Gert Florijn
1991Implementational Reflection in Silica.
Ramana Rao
1991Incremental Class Dictionary Learning and Optimization.
Paul L. Bergstein, Karl J. Lieberherr
1991Inheritance in Object-Oriented Z.
Elspeth Cusack
1991Issues in the Design and Implementation of a Schema Designer for an OODBMS.
Jay Almarode
1991Modeling the C++ Object Model, An Application of an Abstract Object Model.
Alan Snyder
1991Multi-Methods in a Statically-Typed Programming Language.
Warwick B. Mugridge, John Hamer, John G. Hosking
1991OOZE: An Object Oriented Z Environment.
Antonio J. Alencar, Joseph A. Goguen
1991Object Integrity Using Rules.
Claudia Bauzer Medeiros, Patrick Pfeffer
1991Object-Oriented Analysis and Top-Down Software Development.
Dennis de Champeaux
1991Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches.
Urs Hölzle, Craig Chambers, David M. Ungar
1991Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies.
Francis Wolinski, Jean-François Perrot
1991Schema Modifications in the LISPO
Gilles Barbedette
1991Synchronizing Actions.
Christian Neusius
1991The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System.
Christine Delcourt, Roberto V. Zicari
1991What is Type-Safe Code Reuse?
Jens Palsberg, Michael I. Schwartzbach