Accession Number : ADA019768

Title :   A SEMANOL (73) Implementation Standard for JOVIAL (J73).

Descriptive Note : Final technical rept. Mar 74-Mar 75,


Personal Author(s) : Berning,Paul T.

Report Date : 30 JUN 1975

Pagination or Media Count : 68

Abstract : The formal definition of the programming language JOVIAL (J73) was produced by the metalanguage, SEMANOL. The process of definition resulted in the metalanguage, SEMANOL. The process of definition resulted in the successful identification of many ambiguities and conflicts in the JOVIAL language which were reported to the language definition committee. SEMANOL (73) is understandable by laymen and processable by the SEMANOL interpreter computer program. The interpreter program was completed and debugged during the contract period. JOVIAL (J73), as processed by the SEMANOL interpreter, has been tested to the extent that (1) the JOVIAL (J73) level one subset grammar is well debugged, (2) the formal definition is syntactically correct and (3) the simpler semantics are tested to yield correct answers. The results of this effort coupled with previous and concurrent efforts show SEMANOL as a highly valuable standardization tool for failure use in DOD language controls. (Author)

Descriptors :   *Programming languages, Standards, Compilers, Reliability, Command and control systems, Standardization, Syntax, Grammars, Context free grammars, Computer program documentation, Data storage systems, Semantics, Interpreters

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE