A Standard for Language Implementation.

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)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1973
Accession Number
AD0765608

Entities

People

  • Paul T. Berning

Organizations

  • TRW Inc.

Tags

DTIC Thesaurus Topics

  • Application Software
  • Computer Programming
  • Computer Programs
  • Computers
  • Digital Information
  • Language
  • Programming Languages
  • Standards

Fields of Study

  • Computer science

Readers

  • Computational Linguistics