Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars

Attribute grammars [14] have proved useful as the basis of input languages for compiler-compilers. Many algorithms have evolved which can be used to automatically produce an evaluator for a given attribute grammar. The task of an evaluator is to compute the values of the attribute instances attached to a parse tree. From the compiler point of view, the evaluator takes care of the semantic analysis and in some cases also the code generation of the compiler. An overview of various evaluation algorithms is given in [6]. A bibliography can be found in [21].

[1]  Harald Ganzinger.  Optimierende Erzeugung von Übersetzerteilen aus implementierungsorientierten Sprachbeschreibungen , 1978 .

[2]  Bernard Lorho.  Semantic attributes processing in the system DELTA , 1975, Methods of Algorithmic Language Implementation.

[3]  Waldean Allen Schulz.  Semantic analysis and target language synthesis in a translator. , 1976 .

[4]  Rina S. Cohen,et al.  Automatic generation of near-optimal linear-time translators for non-circular attribute grammars , 1979, POPL.

[5]  Mehdi Jazayeri,et al.  Space-Efficient Storage Management in an Attribute Grammar Evaluator , 1981, TOPL.

[6]  Harald Ganzinger,et al.  On Storage Optimization for Automatically Generated Compilers , 1979, Theoretical Computer Science.

[7]  Donn Robert Milton.  Syntactic specification and analysis with attributed grammars. , 1977 .

[8]  Scott Kipling Warren.  The coroutine model of attribute grammar evaluation. , 1976 .

[9]  Isu Fang,et al.  FOLDS, a declarative formal language definition system , 1972 .

[10]  Mikko Saarinen,et al.  On Constructing Efficient Evaluators for Attribute Grammars , 1978, ICALP.

[11]  Mehdi Jazayeri,et al.  A Family Of Pass-Oriented Attribute Grammar Evaluators , 1978, ACM Annual Conference.

[12]  Rina S. Cohen,et al.  Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars. , 1979 .

[13]  Ken Kennedy,et al.  Automatic generation of efficient evaluators for attribute grammars , 1976, POPL.

[14]  Mehdi Jazayeri,et al.  Alternating semantic evaluator , 1975, ACM '75.

[15]  J. J. Horning,et al.  Report on the programming language Euclid , 1977, SIGP.

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

[17]  Kari-Jouko Räihä,et al.  An Optimization of the Alternating Semantic Evaluator , 1977, Inf. Process. Lett..