Publication Date

9-1992

Technical Report Number

TR92-16a

Subjects

Software, Data

Abstract

We describe the problems encountered in the design of Larch/C++, especially its object-oriented features. We discuss a range of possible solutions to these problems, and give the rationale for our particular solutions. We also present examples of Larch/C++ specifications and discuss differences from Larch/C.

Share

COinS