A SEMANOL (76) Specification of Minimal BASIC.

Abstract

This report describes the work performed and the results achieved in the preparation of a SEMANOL (76) metalanguage specification of the Minimal BASIC programming language. It explains the formal specification of Minimal BASIC produced, the SEMANOL (76) system used for the specification, and the ambiguities found in the Minimal BASIC draft proposal as a consequence of preparing this formal specification. The report also includes a suggested approach to formalizing machine dependent aspects of arithmetic and source language optimization; unfortunately, a lack of time did not permit these methods to be applied to Minimal BASIC. The SEMANOL specification of Minimal BASIC was extensively computer tested with SEMANOL (76) Interpreter; an operational specification of Minimal BASIC was thus created. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1977
Accession Number
ADA040989

Entities

People

  • Paul T. Berning

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Application Software
  • Basic Programming Language
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Grammars
  • High Level Languages
  • Language
  • Linguistics
  • Programming Languages
  • Specifications
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Systems Analysis and Design