A SEMANOL (73) Implementation Standard for JOVIAL (J73).
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 30, 1975
- Accession Number
- ADA019768
Entities
People
- Paul T. Berning
Organizations
- TRW Inc.