A Standard for Language Implementation.
Final technical rept.,
TRW SYSTEMS GROUP REDONDO BEACH CALIF
Pagination or Media Count:
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
- Computer Programming and Software