Improvements to SEMANOL. Volume I.
Paul T. Berning · 1977
This report describes the work that was performed in meeting the goals of this contract; provides a brief introduction to the SEMANOL method, and discusses issues in formal semantic description that arose in performing these tasks. This project accomplished the definition of an improved semantic specification metalanguage, SEMANOL(76); corollary upgrading of the interpreter program to process the new metalanguage; substantial improvement of the processing efficiency of this new SEMANOL interpreter; implementation of a powerful new user command language for the SEMANOL(76) interpreter; writing of a comprehensive formal specification of the JOVIAL(J3) programming language; and presentation of a three-day course in the use of SEMANOL(76). The effectiveness of the SEMANOL system was greatly improved as a result of this work. In addition, a basis for control of the JOVIAL(J3) programming language was established by production of a formal specification of JOVIAL(J3). SEMANOL(76) can now be a useful working tool in the USAF Higher Order Language Control Facility.