The design and implementation of a specification language type checker
Kopas, Robert George
Berzins, Valdis Andris
MetadataShow full item record
The purpose of this thesis is to design a type checker for the SPEC language and to investigate its implementation using an attribute grammar tool. SPEC is a formal language for writing black-box specifications for large software systems. The type checker is a software tool which verifies the semantic accuracy of the declarations and their uses in a SPEC source program. The design specifically addresses language features which are especially important for large software system specification such as generic parameters, name and operator overloading, subtypes, importation and inheritance. Additional discussion is provided concerning the handling of the "non-block structured" nature of the specification language. This thesis implements two of the three aspects of type checking--name analysis and error reporting. Additionally, a definitive framework is laid for the final aspect, type consistency analysis.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
MacLennan, Bruce J. (Monterey, California. Naval Postgraduate School, 1982); NPS52-82-010Several metrics for guiding the design and evaluation of programming languages are introduced. The objective is to formalize notions such as 'size', 'complexity', 'orthogonality', and 'simplicity'. Three different kinds ...
Moffitt, Charlie Robert. (Monterey, California. Naval Postgraduate School, 1988);While the cost of computing hardware has decreased steadily, the cost of software design, development and, maintenance has increased. One approach to reduce the cost of software development is rapid prototyping. Further, ...
Luqi; Berzins, Valdis (IEEE, 1988);Prototype System Description Language (PSDL) is a high level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its ...