scope:

FOREWORD

This revised document was coordinated as Change Notice 1 to MIL-STD-1589B. Due to the extent of changes it has been approved as MIL-STD-1589C. This version contains no changes from the coordinated version other than those required for reformatting. MIL-STD-1589C (USAF) defines the upgraded JOVIAL (573) programming language.

The sections are organized in a top-down manner. The first section describes the interactions between the modules of the complete program so that in subsequent sections the structure of the language can be described (to the extent possible) without reference to their interaction with other structures.

Most sections are divided into separate parts entitled "syntax," "semantics," and "constraints," The "syntax" descriptions define the grammar of the language in a modified BNF notation. The "semantics" discussions define the meaning of constructs that satisfy the syntax and constraints. The "constraints" discussions enumerate non-syntactic requirements that must be met in order for the given constructs not be redundant with each other - e.g., the semantics sections do not normally repeat something that should be obvious from the syntax, neither do they repeat stipulations that are listed as constraints.

Some of the designated constraints apply at compile time, and others pertain to errors that are not detectable until the compiled program is executed. In order to conform to this standard, a J73 compiler must detect compile-time errors, but it is not required to generate code for run-time checks.

The appendix provides a cross-reference index to constructs that appear in the syntax. For each construct, the index gives the number of the section where that construct is defined and the numbers of the sections where that construct is used in a definition.