Accession Number:

ADA091682

Title:

Formal Semanol Specification of Ada.

Descriptive Note:

Final technical rept. Jul 79-Jun 80,

Corporate Author:

TRW DEFENSE AND SPACE SYSTEMS GROUP REDONDO BEACH CA

Personal Author(s):

Report Date:

1980-09-01

Pagination or Media Count:

64.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE