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