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.