Military Standard JOVIAL (J73).
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 06, 1980
- Accession Number
- ADA094930
Entities
Organizations
- United States Department of Defense