Accession Number : AD0765608

Title :   A Standard for Language Implementation.

Descriptive Note : Final technical rept.,

Corporate Author : TRW SYSTEMS GROUP REDONDO BEACH CALIF

Personal Author(s) : Berning,Paul T.

Report Date : JUN 1973

Pagination or Media Count : 47

Abstract : HICH PROGRAMMING LANGUAGES MIGHT BE RIGOROUSLY AND COMPLETELY DEFINED IN A READILY COMPREHENSIBLE FORM VERIFIABLE BY COMPUTER PROGRAM. TRW has used its SEMANOL theory as the basis for achieving most of these goals. The SEMANOL theory was refined and a SEMANOL meta-language developed. This meta-language was then used to rigorously define most of the JOVIAL programming language. An interpreter program for the SEMANOL meta-language was written and tested with small SEMANOL definitions. The full SEMANOL meta-language definition of JOVIAL has not yet been checked out. Despite this, the results are considered encouraging and the use of SEMANOL as the means of defining programming language standards appears feasible. (Author)

Descriptors :   (*PROGRAMMING LANGUAGES, STANDARDS), COMPILERS, SYNTAX, CONTEXT FREE GRAMMARS, MATHEMATICAL LOGIC

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE