AXES Syntax Description.
Hamilton,Margaret, Zeldin,Saydean, Steven Cushing, Walter D. Heath · Defense Technical Information Center (DTIC) · 1976
This document is intended to serve as an introduction to the specification language AXES. The foundations of AXES (HAM76a) are based on the formal system theory of Higher Order Software. This document contains the definition of the syntax of AXES. In addition, semantics definitions in AXES (e.g., primitive control structures, intrinsic data type definitions) are described. Examples of system specifications are used to illustrate various features of the language. (Author)