Markland, Matthew W. (1998) Design and Implementation of the Larch/C++ Type System. Technical Report TR98-05, Department of Computer Science, Iowa State University.
Design and Implementation of the Larch/C++ Type System
Matthew W. Markland
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
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.
Contact site administrator at: email@example.com