Formal Semanol Specification of Ada.

Abstract

THIS REPORT SUMMARIZES THE PERFORMANCE AND RESULTS OF A CONTRACTUAL EFFORT TO DEVELOP A FORMAL OPERATIONAL SPECIFICATION OF THE DoD common programming language Ada. The formalism used was that of the Semantics Oriented Language, SEMANOL. The design produced essentially covers the entire Ada language, ignoring only the low-level semantics of implementation dependencies. The SEMANOL system and its use in the specification of Ada language features of a type not previously addressed in SEMANOL specifications of other languages is provided. The report is concluded with a list of problems discovered, in the design of the Ada language, as a result of the formal specification. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1980
Accession Number
ADA091682

Entities

People

  • Paul T. Berning

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programming
  • Computers
  • Context Free Grammars
  • Control Systems
  • Grammars
  • High Level Languages
  • Language
  • Law
  • Machine Languages
  • Operating Systems
  • Personality
  • Programming Languages
  • Standards
  • Test And Evaluation
  • Test Facilities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering
  • Software Verification and Validation.