archives

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


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Markland, Matthew W. (1998) Design and Implementation of the Larch/C++ Type System. Technical Report TR98-05, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

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.

Subjects:All uncategorized technical reports
ID code:00000175
Deposited by:Staff Account on 03 June 1998



Contact site administrator at: ssg@cs.iastate.edu