Technical Report Number
Software, Information Systems, Computing Methodologies
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.