Design and Implementation of the Larch/C++ Type System

This paper describes the design of a type system for the Larch/C++ speci cation 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.