SEMANOL (76) Specification of Jovial (J3). Volume III.

Abstract

This report contains a formal specification of the JOVIAL (J3) programming language. The formal specification is written in TRW's SEMANOL(76) metalanguage, and so is a specification given in operational (i.e., interpretive) terms. The specification is generally complete and extremely detailed. This level of detail is unavoidable if JOVIAL(J3) semantics are to be comprehensively treated, as was done here. It also results from producing a specification that can actually produce operational results. However, by having an operational form of specification, it was possible to test the JOVIAL(J3) specification through use of the SEMANOL(76) interpreter program. This testing insured the syntactic correctness of the entire metaprogram, and that much of the semantics yielded correct results for inputs of varying complexity. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1977
Accession Number
ADA049474

Entities

People

  • Frank C. Belz
  • Ira M. Green

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Directives
  • Grammars
  • Information Science
  • Ionospheric Propagation
  • Language
  • Personality
  • Programming Languages
  • Security
  • Semantics
  • Sequences
  • Space Systems
  • Specifications
  • Standards
  • Test And Evaluation
  • Three Dimensional
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Nuclear Civil Defense.
  • Systems Analysis and Design