Accession Number : ADA177802
Title : A W-Grammar Description for ADA.
Descriptive Note : Master's thesis,
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING
Personal Author(s) : Flowers,Roy A
Report Date : Dec 1986
Pagination or Media Count : 79
Abstract : This thesis explores the formal definition of the syntax and static semantics of the Ada programming language. Several notational forms were compared and the particular notational form chosen is a double level grammar called the W-grammar. W-grammars were first used in the formal definition of Algol 68. Two W-grammars are presented. The first W-grammar is a translation of the modified BNF notation used in the Ada Language Reference Manual, and the second demonstrates the description of Ada's static semantics in W-grammar format. In the author's opinion, the W-grammars fall short of this goal since they are less readable than BNF for determining Ada's syntax, and experience shows that programmers most often refer to references to answer questions about syntax. However, a W-grammar description of Ada is still useful to computer scientists who need more than a simple understanding of the syntax and rudimentary description of the semantics. A formal semanatic definition of Ada is needed by system designers for multiple targets, by compiler designers, and by individuals needing formal correctness proofs of Ada programs.
Descriptors : *CONTEXT FREE GRAMMARS , PROGRAMMING LANGUAGES , SEMANTICS , THESES , TARGETS , PROGRAMMERS , STATICS , COMPILERS , COMPUTER PERSONNEL , SYNTAX , SCIENTISTS
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE