English

DTIC ADA095988: AXES Syntax Description.

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)

Sign in with your free account to read, download EPUBs or listen.