Improvements to SEMANOL. Volume I.

Abstract

This report describes the work that was performed in meeting the goals of this contract; provides a brief introduction to the SEMANOL method, and discusses issues in formal semantic description that arose in performing these tasks. This project accomplished the definition of an improved semantic specification metalanguage, SEMANOL(76); corollary upgrading of the interpreter program to process the new metalanguage; substantial improvement of the processing efficiency of this new SEMANOL interpreter; implementation of a powerful new user command language for the SEMANOL(76) interpreter; writing of a comprehensive formal specification of the JOVIAL(J3) programming language; and presentation of a three-day course in the use of SEMANOL(76). The effectiveness of the SEMANOL system was greatly improved as a result of this work. In addition, a basis for control of the JOVIAL(J3) programming language was established by production of a formal specification of JOVIAL(J3). SEMANOL(76) can now be a useful working tool in the USAF Higher Order Language Control Facility.

Open PDF

Document Details

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

Entities

People

  • Paul T. Berning

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Air Force
  • Assembly Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Context Free Grammars
  • Control Systems
  • Floating Point Operations
  • Grammars
  • Language
  • Materials
  • Notation
  • Production
  • Programming Languages
  • Standards
  • Translations
  • User Interface

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering