Next:
3.1 Objects in Isolation
Up:
An Approach to an
Previous:
2.2 Formalization of various
3 Our Toolkit
3.1 Objects in Isolation
3.2 Names
3.3 Types
3.4 Invariant of an object
3.5 Attaching and detaching a type
3.6 Non-isolated Objects and Generic Relationships
3.7 Composite objects
Randolph Johnson and Hiam Kilov
Sept. 2, 1997
