Grammar flow analysis

  • Ulrich Möncke
  • Reinhard Wilhelm
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 545)


This paper specifies the theoretical basis for the implementation of different generators of the OPTRAN system. Grammar How analysis uses the techniques of data flow analysis at the meta level of compiler construction. The analogue of the states in data flow analysis are the syntax trees together with some information that is associated with trees by propagation functions. One example is the association of characteristic graphs, another example is the association of sets of matching tree patterns.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Cousot,Cousot79]
    Cousot P., Cousot R., Systematic Design of Program Analysis Framework, 6th ACM POPL, 1979Google Scholar
  2. [Chebotar81]
    Chebotar K.S., Some Modifications of Knuth's Algorithm for Verifying Cyclicity of Attribute Grammars, Programming and Computer Software 7, 1 (pp 58–61), 1981Google Scholar
  3. [Deransart,Jourdan,Lorho83]
    Deransart P., Jourdan M., Lorho B., Speeding up Circularity Tests for Attribute Grammars, Report RR-211, INRIA, Roquencourt, 1983Google Scholar
  4. [Farrow83]
    Farrow R., Covers of Attribute Grammars and Sub-Protocol Attribute Evaluators, Comp. Sci. Dept., Columbia University, New York, 1983Google Scholar
  5. [Kennedy,Warren79]
    Kennedy K., Warren S.K., Automatic Generation of Efficient Evaluators for Attribute Grammars, 3rd ACM POPL, Atlanta, 1976Google Scholar
  6. [LMOW87]
    Lipps P., Moencke U., Olk M., Wilhelm R., Attribute reevaluation in OPTRAN, ESPRIT Prospectra Report S.1.3-R-4.1, Saarbrucken 1987Google Scholar
  7. [Moencke87]
    Moencke U., Simulating Automata for Weighted Tree Reductions, ESPRIT Prospectra Report S.1.6-R-5.0, Saarbruecken 1987Google Scholar
  8. [Moencke85]
    Moencke U., Generierung von Systemen zur Transformation attributierter Operator-baeume, — Komponenten des Systems und Mechanismen der Generierung, Ph.D.Thesis, Saarbruecken, 1985Google Scholar
  9. [Moencke,Wilhelm82]
    Moencke U., Wilhelm R., Iterative algorithms on grammar graphs, in Proc. 8th Conference on Graphtheoretic Concepts in Computer Science, ed. H. Goettler, pp. 177–194, Hanser-Verlag, 1982Google Scholar
  10. [Raeihae81]
    Raeihae K.J., A Space Management Technique for Multi-Pass Attribute Evaluators, Dept. of Comp. Sc., University of Helsinki, Finland, 1981Google Scholar
  11. [Raeihae,Saarinen82]
    Raeihae K.J., Saarinen M., Testing Attribute Grammars for Circularity, Acta Informatica 17, pp. 185–192, 1982CrossRefGoogle Scholar
  12. [Reps82]
    Reps T., Generating Language based Environments, PhD thesis, Dept of Computer Sc., Cornell University, 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ulrich Möncke
    • 1
  • Reinhard Wilhelm
    • 1
  1. 1.Universität des SaarlandesSaarbrückenBundesrepublik Deutschland

Personalised recommendations