The design and implementation of a specification language type checker

Author

Kopas, R. ; Berzins, Valdis

Author_Institution

Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA

Volume

ii

fYear

1990

fDate

2-5 Jan 1990

Firstpage

420

Abstract

The authors discuss the design and implementation of a type checker for an advanced specification language using an attribute grammar tool. The design specifically addresses language features, such as generic parameters, name and operator overloading, subtypes, importation, and inheritance, which are especially important for large software system specification. The authors discuss the issues involved in handling the non-block structured nature of the specification language, as well as its need to interface with other tools and interact with users to check constraints that are difficult to decide in the general case

Keywords

formal specification; grammars; specification languages; attribute grammar tool; design; generic parameters; implementation; importation; inheritance; name overloading; operator overloading; software system specification; specification language type checker; subtypes; Computer languages; Computer science; Equations; Formal languages; Large-scale systems; Production; Programming; Software systems; Specification languages; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Type

conf

DOI

10.1109/HICSS.1990.205213

Filename

205213