Publication Date

6-1995

Technical Report Number

TR98-05

Subjects

Software, Information Systems, Computing Methodologies

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.

Share

COinS