SEMANOL(ID:4078/sem002)

TRW metaprogramming language 

for Semantics Oriented Language

TRW Defense and Space Systems Group 1976

Used for proving JOVIAL, Ada and COBOL


Places
People:
Related languages
ADES II => SEMANOL   Evolution of
SEMANOL => SEMANOL(73)   Evolution of
References:
  • Blum, E. K. "Towards a theory of semantics and compilers for programming languages", J. Computer and Systems Sciences 3 (1969), 248-275 view details
  • Blum, E.K. "The semantics of programming languages, Part I", TRW Report TPR-TR-1 (1969) view details
  • Blum, E.K. "The semantics of programming languages, Part II", TRW Report TPR-TR-2, (1970) view details
  • Blum, E. K. "Semantics of programming languages" view details
          in IFIP Working Group 2.2 Bulletin (1971) view details
  • "A Standard for Language Implementation" RADC-TR-73-143 Rome Air Development Center/TRW Ssytems Group June 1973 view details
          in IFIP Working Group 2.2 Bulletin (1971) view details
  • "A Standard for Language Implementation: Semanol Reference Manual" TRW Systems Group April 1973 view details Abstract: The problem of finding a uniform, precise, complete, and understandable means of specifying the semantics of programming languages has become increasingly important. SEMANOL is a programming system that can be used to describe precisely the syntax and semantics of a large class of languages. It is specifically designed to make the specification of the "rule of execution" (the semantics) of other programming system uniform, precise, complete and understandable.

          in IFIP Working Group 2.2 Bulletin (1971) view details
  • Anderson, E.; F. Belz, E. Blum, "SEMANOL(73) A metalanguage for programming the semantics of programming languages" pp109-131 view details
          in Acta Informatica 6(2) July 2, 1976 view details
  • Blum, E.K. "Formal semantics of programming languages", TRW Report TR-6 (1973) view details Abstract: This project was undertaken with the technical objective of developing a means by which programming languages might be rigorously and completely defined in a readily comprehensive form verifiable by computer program. The SEMANOL theory was refined and a SEMANOL meta-language was developed. This meta-language was then used to rigorously define most of the JOVIAL programming language. An Interpreter program for the SEMANOL meta-language was written and tested with small SEMANOL definitions. The full SEMANOL meta-language definition of JOVIAL has not yet been checked out. Despite this, the results are considered encouraging and the use of SEMANOL as the means of defining programming language standards appears feasible.

          in Acta Informatica 6(2) July 2, 1976 view details
  • Anderson, E. R. and D. M. Heimbigner, "SEMANOL (76) Interpreter Documentation", TRW Report (1977) view details
          in Acta Informatica 6(2) July 2, 1976 view details
  • Anderson, E.R., F. C. Belz, and E. K. Blum, "Issues in the Formal specification of Programming Languages view details
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Belz, F. C. and I. Green, "A SEMANOL(76) specification of JOVIAL(J73)", TRW Report prepared for Rome Air Development Center (1977) view details Abstract: This report contains a formal specification of the JOVIAL (J3) programming language. The formal specification is written in TRW's SEMANOL(76) metalanguage, and so is a specification given in operational (i.e., interpretive) terms. The specification is generally complete and extremely detailed. This level of detail is unavoidable if JOVIAL(J3) semantics are to be comprehensively treated, as was done here. It also results from producing a specification that can actually produce operational results. However, by having an operational form of specification, it was possible to test the JOVIAL(J3) specification through use of the SEMANOL(76) interpreter program. This testing insured the syntactic correctness of the entire metaprogram, and that much of the semantics yielded correct results for inputs of varying complexity.
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Belz, F. C. "SEMANOL(76)" Reference Manual, TRW Report (1977) view details
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Belz, F. C., R. M. Hart and D. M. Heimbigner, "A SEMANOL(76) specification of Minimal BASIC", TRW report prepared for Rome Air Development Center (1977) view details
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Berning Paul T. "Improvements to SEMANOL Volume I" TRW Defense and Space Systems Group Redondo Beach Calif Nov 77, RADC-TR-77-365-VOL-1 view details Abstract: 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 improver semantic specification metalanguagev 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.

          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Berning, P. T. "An Introduction to SEMANOL", TRW Report (1977) view details
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Belz, Frank C., Edward K. Blum, and Dennis M. Heimbigner "A Design for a SEMANOL Specification of Ada" TRW Technical Report CDRL A003 of Contract no. F30602-79-C-0204 4/80 view details Abstract: This report presents a design for a formal operational specification of the Ada programming language. The formalism is that of SEMANOL, TRW's well established metalanguage for completely defining the syntax and semantics of programming languages. The design produced essential covers the entire Ada language, ignoring only the low-level semantics of implementation dependencies since deferral of these was required by the conditions of this project.

          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details
  • Berning, Paul T. "Formal SEMANOL Specification of Ada" TRW Report RADC-TR-89-293 Rome Air Development Center 9/80 view details Abstract: This report summarizes the performance and results of a contractual effort to develop a formal operational specification of the DoD 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.
          in IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978 view details