Design and Implementation of the Larch/C++ Type System
                                  by
                         Matthew W. Markland

                               Abstract

This paper describes the design of a type system for the Larch/C++
specification language. To motivate the features of the type system,
the type systems of both the Larch Shared Language and C++ are
described. After this background, an informal description of the
Larch/C++ type system is followed by a formal presentation of the type 
rules. The implementation of an infrastructure for the type system is
then described.

Keywords: Specification languages; Larch; LSL; Larch/C++; type systems.

1997 CR Categories:
D.1.5 [Programming Techniques] Object-oriented Programming;
D.2.1 [Software Engineering]
      Requirements/Specifications -- languages, Larch, tools;
D.3.3 [Programming Languages]
      Language Constructs and Features ---  modules, packages;
F.3.1 [Logics and Meanings of Programs]
      Specifying and Verifying and Reasoning about Programs ---
      assertions, pre- and post-conditions, specification techniques, LSL;
F.3.3 [Logics and Meanings of Programs]
      Studies of Program Constructs --- type structure.