JOVIAL J73(ID:485/jov002)

1973 Version of JOVIAL 

USAF Evolution of JOVIAL

"Military Standard JOVIAL (J73)", MIL-STD-1589 (USAF), Feb 1977.
Related languages
JOVIAL J3 => JOVIAL J73   Evolution of
JOVIAL J3B => JOVIAL J73   Influence
References:
  • [USAF] "Military Standard, JOVIAL (J73/I)" MIL-STD-1589. view details
  • The Higher Order Language Working Group (HOLWG) Working Paper on 23 exisitng programming languages view details
  • Belz, F. C. and I. Green, "A SEMANOL(76) specification of JOVIAL(J73)", TRW Report prepared for Rome Air Development Center (1977) view details Abstract: This report contains a formal specification of the JOVIAL (J3) programming language. The formal specification is written in TRW's SEMANOL(76) metalanguage, and so is a specification given in operational (i.e., interpretive) terms. The specification is generally complete and extremely detailed. This level of detail is unavoidable if JOVIAL(J3) semantics are to be comprehensively treated, as was done here. It also results from producing a specification that can actually produce operational results. However, by having an operational form of specification, it was possible to test the JOVIAL(J3) specification through use of the SEMANOL(76) interpreter program. This testing insured the syntactic correctness of the entire metaprogram, and that much of the semantics yielded correct results for inputs of varying complexity.
  • Berning Paul T. "Improvements to SEMANOL Volume I" TRW Defense and Space Systems Group Redondo Beach Calif Nov 77, RADC-TR-77-365-VOL-1 view details Abstract: This report describes the work that was performed in meeting the goals of this contract, provides a brief introduction to the SEMANOL method, and discusses issues in formal semantic description that arose in performing these tasks. This project accomplished the definition of an improver semantic specification metalanguagev SEMANOL(76), corollary upgrading of the interpreter program to process the new metalanguage; substantial improvement of the processing efficiency of this new SEMANOL interpreter; implementation of a powerful new user command language for the SEMANOL(76) interpreter; writing of a comprehensive formal specification of the JOVIAL(J3) programming language; and presentation of a three-day course in the use of SEMANOL(76). The effectiveness of the SEMANOL system was greatly improved as a result of this work. In addition, a basis for control of the JOVIAL(J3) programming language was established by production of a formal specification of JOVIAL(J3). SEMANOL(76) can now be a useful working tool in the USAF Higher Order Language Control Facility.
  • Eanes, R.S. et al "Communications High-Order Language Investigation (Volume I)" SofTech, Inc., 460 Totten Pond Road, Waltham, MA 02154 RADC-TR-77-341, Vol. I (of two) 1977 view details Abstract: This report contains data and conclusions that were used to select JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. This volume contains a description of the process used to develop hypotheses on what features are required of such a language. It also contains rationale for selection of JOVIAL, efficiency requirements, and the results of a questionnaire concerning high-order languages and communications.
  • [USAF] "Military Standard MIL-STD-1589A (USAF): Jovial (J73)" 1979 view details Abstract: This document is the revised MIL-STD-1589A (USAF) definition of the upgraded J73 JOVIAL programming Language. The primary purpose of the revision and upgrade was to incorporate into the J73 language some of the proven features of the J3B-2 language. The sections, organized in a top-down manner, are each divided into several parts: Syntax, Semantics, and Constraints.
    		•