HOL Investigation.

Abstract

The HOL investigation was a two year effort to determine communications high-order language requirements and define modifications to an existing language to be suitable for these requirements. Modifications to the JOVIAL J73/I programming language have been described as well as a SEMANOL formal specification of the modified language. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1979
Accession Number
ADA064749

Entities

People

  • James L. Felty
  • John B. Goodenough
  • John R. Kelly
  • Lawrence H. Shafer

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acceptance Tests
  • Air Force
  • Coding
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Formal Languages
  • Grammars
  • Language
  • Object Code
  • Production
  • Programming Languages
  • Reliability
  • Short Circuits
  • Standards
  • Test And Evaluation

Readers

  • Computational Linguistics
  • Technical Research and Report Writing.