Formal Semanol Specification of Ada.
Paul T. Berning · 1980
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)