A SEMANOL (73) Implementation Standard for JOVIAL (J73). Volume II. SEMANOL (73) Reference Manual.

Abstract

The formal definition of the programming language JOVIAL (J73) was produced by the metalanguage, SEMANOL (73). The process of definition resulted in the identification of many ambiguities and conflicts in the J73 language under development. At the same time SEMANOL (73) is understandable by laymen and likewise processable by the SEMANOL interpreter computer program, making it highly amenable to locating and debugging potential compiler errors or uncertainties. This value is of enough significance that SEMANOL (73) will be implemented as an integral key requirement tool for use in the forthcoming USAF Higher Order Language Control Facility.

Document Details

Document Type
Technical Report
Publication Date
Jun 30, 1975
Accession Number
ADA019769

Entities

People

  • Paul T. Berning

Organizations

  • TRW Inc.

Tags

DTIC Thesaurus Topics

  • Ambiguity
  • Application Software
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Digital Information
  • Identification
  • Integrals
  • Language
  • Programming Languages
  • Software Development Tools
  • Standards
  • Uncertainty

Readers

  • Computational Linguistics
  • Systems Analysis and Design