A Flexible Notation for Syntactic Definitions

Syntactic Definitions In view of the proliferation of notations for defining the syntax of programming languages, it has been suggested that a simple notation should be adopted as a standard. However, any notation adopted as a standard should also be as versatile as possible. For this reason, a notation is presented here which is both simple and versatile and which has additional benefits when specifying the static semantic rules of a language.

[1]  B. J. Mailloux,et al.  Report of Algorithmic Language ALGOL 68 , 1969 .

[2]  M. Howard Williams,et al.  Methods for Specifying Static Semantics , 1981, Comput. Lang..

[3]  Niklaus Wirth,et al.  What can we do about the unnecessary diversity of notation for syntactic definitions? , 1977, Commun. ACM.

[4]  Cornelis H. A. Koster,et al.  Two-Level Grammars , 1976, Compiler Construction.

[5]  Gordon M Bull.  Specification for standard BASIC , 1973 .

[6]  B. J. Mailloux,et al.  Report on the Algorithmic Language ALGOL 68 , 1969 .

[7]  B. J. Mailloux,et al.  Revised Report on the Algorithmic Language ALGOL 68 , 1976, SIGP.

[8]  John J. Donovan,et al.  A formal system for the specification of the syntax and translation of computer languages , 1899, AFIPS '67 (Fall).

[9]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[10]  John J. Donovan,et al.  Systems programming , 1973, CSC '73.

[11]  Gregor von Bochmann,et al.  A Sampler of Formal Definitions , 1976, CSUR.

[12]  S. J. Waters.  File design fallacies , 1972, Comput. J..

[13]  John A. N. Lee.  The formal definition of the BASIC language , 1972, Comput. J..

[14]  James B. Maginnis.  Fundamental ANSI Cobol Programming , 1974 .

[15]  David A. Watt,et al.  An extended attribute grammar for Pascal , 1979, SIGP.

[16]  H. F. Ledgard.  A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES , 1969 .

[17]  J. Bormann.  A. van Wijngaarden (Ed.), B. J. Mailloux, J. E. L. Peck and C. H. A. Koster, Report on the Algorithmic Language ALGOL 68. Amsterdam 1969. Printing by the Mathematisch Centrum. Preis brosch. $ 4.50 . , 1970 .