Formal Semanol Specification of Ada.
Final technical rept. Jul 79-Jun 80,
TRW DEFENSE AND SPACE SYSTEMS GROUP REDONDO BEACH CA
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware