Issue No. 01 - January (1978 vol. 4)
S. Ginsburg , Department of Computer Science, University of Southern California
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.
syntax definition, Control rules, dynamic syntax, grammar forms, interpretation
E. Rounds and S. Ginsburg, "Dynamic Syntax Specification Using Grammar Forms," in IEEE Transactions on Software Engineering, vol. 4, no. , pp. 44-55, 1978.