ECOOP 1991
22 papers
- An Object Calculus for Asynchronous Communication
- An Object-Oriented Logic Language for Modular System Specification
- Capsules and Types in Fresco: Program Verification in Smalltalk
- Definition of Reusable Concurrent Software Components
- Exceptions in Guide, an Object-Oriented Language for Distributed Applications
- Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming
- Implementation Techniques for Integral Version Management
- Implementational Reflection in Silica
- Incremental Class Dictionary Learning and Optimization
- Inheritance in Object-Oriented Z
- Issues in the Design and Implementation of a Schema Designer for an OODBMS
- Modeling the C++ Object Model, An Application of an Abstract Object Model
- Multi-Methods in a Statically-Typed Programming Language
- OOZE: An Object Oriented Z Environment
- Object Integrity Using Rules
- Object-Oriented Analysis and Top-Down Software Development
- Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
- Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies
- Schema Modifications in the LISPO2 Persistent Object-Oriented Language
- Synchronizing Actions
- The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System
- What is Type-Safe Code Reuse?