A compiler—compiler system

To the author's knowledge three other operational compiler-compiler systems, whose strategy is similar to the scheme documented here, have been developed. The Feldman system [6, 7, 8] is a bounded context, syntax directed system. Syntax specifications are expressed in Floyd production language (FPL) and semantics are defined in Feldman semantic language (FSL). FSL seems to be a good model on which to base semantic languages. A lexical analysis (subscan to distinguish identifiers, operators, delimiters and punctuation marks) precedes the full analysis. In the COGENT system [5], on the other hand, each character is interpreted separately, hence allowing greater flexibility (e.g. its use in a symbolic differentiation program) and enforcing more detailed attention to syntax. Syntax for a source program is virtually in Backus Normal Form (BNF) [3] and this system is syntax directed along the lines suggested by Irons [1]. Much has been written on the compiler-compiler system of Brooker and Morris [2, 22, 23] which has superficial similarities with the COGENT scheme and the system described below.

[1]  S. R. Petrick,et al.  On the relative efficiencies of context-free grammar , 1965, CACM.

[2]  Paul W. Abrahams,et al.  A final solution to the Dangling else of ALGOL 60 and related languages , 1966, CACM.

[3]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[4]  Howard H Metcalfe.  A parameterized compiler based on mechanical linguistics , 1964 .

[5]  Saul Rosen.  A compiler-building system developed by Brooker and Morris: including a comprehensive discussion of the major features of the system , 1964, CACM.

[6]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[7]  A L Bastian.  A PHRASE-STRUCTURE LANGUAGE TRANSLATOR , 1962 .

[8]  R. A. Sibley,et al.  The SLANG system , 1961, CACM.

[9]  Jerome A. Feldman.  A formal semantics for computer languages and its application in a compiler-compiler , 1966, CACM.

[10]  Stephen Warshall.  A syntax directed generator , 1961, AFIPS '61 (Eastern).

[11]  Seymour Ginsburg,et al.  Two Families of Languages Related to ALGOL , 1962, JACM.

[12]  R. A. Brooker,et al.  An Assembly Program for a Phrase Structure Language , 1960, Comput. J..

[13]  D. Morris,et al.  A General Translation Program for Phrase Structure Languages , 1962, JACM.

[14]  Robert W. Floyd,et al.  Syntactic Analysis and Operator Precedence , 1963, JACM.

[15]  John W. Backus,et al.  The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.

[16]  A E Glennie.  ON THE SYNTAX MACHINE AND THE CONSTRUCTION OF A UNIVERSAL COMPILER , 1960 .