The design and implementation of a specification language type checker

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