A SEMANOL (73) Implementation Standard for JOVIAL (J73).
Final technical rept. Mar 74-Mar 75,
TRW SYSTEMS GROUP REDONDO BEACH CALIF
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware