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