论文信息 - Dynamic Syntax Specification Using Grammar Forms

Dynamic Syntax Specification Using Grammar Forms

A conceptually simple scheme is exhibited for specifying syntactically correct programs of declarative, block-structured programming languages. The method is then demonstrated on a selected subset of PL/1. The scheme itself is based on grammar forms, a concept recently introduced to provide a unified treatment of structurally related grammars. The form grammar provides the BNF equivalent for the syntax. The interpretations of the grammar form are constructed dynamically during the scanning of the input program and map the form grammar into a context-free grammar satisfying the constraints of the given programming language.

Seymour Ginsburg | Erica M. Rounds

[1] P Lucas,et al. On the formal description of PL/I , 1969 .

[2] Allen Newell,et al. Human Problem Solving. , 1973 .

[3] Richard Edwin Stearns,et al. Property Grammars and Table Machines , 1968, SWAT.

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

[5] Armin B. Cremers,et al. Context-Free Grammar Forms , 1974, J. Comput. Syst. Sci..

[6] Gregor von Bochmann,et al. Semantic evaluation from left to right , 1976, CACM.

[7] Henry F. Ledgard. Production Systems: A Notation for Defining Syntax and Translation , 1977, IEEE Transactions on Software Engineering.

[8] Robert W. Floyd,et al. On the nonexistence of a phrase structure grammar for ALGOL 60 , 1962, CACM.

[9] Cliff B. Jones,et al. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages , 1973 .

[10] Henry F. Ledgard,et al. Production systems: or can we do better than BNF , 1974, CACM.

[11] Donald A. Waterman,et al. Adaptive Production Systems , 1975, IJCAI.

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

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

[14] Erich J. Neuhold,et al. The Formal Description of Programming Languages , 1971, IBM Syst. J..

[15] David Crowe,et al. Generating parsers for affix grammars , 1972, Commun. ACM.