A novel indexing structure, join index hierarchy, is proposed to handle the \goto's on disk" problem in object-oriented query processing. The method constructs a hierarchy of join indices and transforms a sequence of pointer chasing operations into a simple search in an appropriate join index le, and thus accelerates navigation in object-oriented databases. The method extends the join index str...

This paper presents a new rule for reasoning about method calls in object-oriented programs. It concerns an optimized adaptation of Hoare’s rule of adaptation to the object-oriented paradigm. The new rule contributes in various ways to the modularity of the specification. We also argue that our rule of adaptation is the missing link between Hoare logics and proof outlines for object-oriented pr...

A novel indexing structure, join index hierarchy, is proposed to handle the \goto's on disk" problem in object-oriented query processing. The method constructs a hierarchy of join indices and transforms a sequence of pointer chasing operations into a simple search in an appropriate join index le, and thus accelerates navigation in object-oriented databases. The method extends the join index str...

This paper describes a structuring mechanism for grouping objects in a distributed object-oriented language. A group structuring mechanism provides a single flexible method for managing distributed applications that involve complicated communication protocols and sophisticated structure. We have added such a mechanism to the Emerald distributed object-oriented language and its runtime system. O...

-The principal objective of this paper is to give elements of the object-oriented architecture of a finite element code dedicated to multibody systems analysis. Emphasis is placed on the adequacy between object-oriented programming and the finite element method used for the treatment of three-dimensional multibody flexible mechanisms with large rotations and large strains. Numerical examples ar...