Military Standard JOVIAL (J73).
DEPARTMENT OF DEFENSE WASHINGTON DC
Pagination or Media Count:
This document is the revised MIL-STD-1589B Draft USAF definition of the upgraded J73 JOVIAL 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 structures 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 to be legal. The intent is that the Syntax, Semantics, and Constraints not be redundant with each other. 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.
- Computer Programming and Software