Skip to main content
SpringerLink
Log in

Introduction to attribute grammars

  • Conference paper
  • First Online:
Book cover Attribute Grammars, Applications and Systems (SAGA School 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 545))

Abstract

This paper recalls the definition of attribute grammars. To give a first impression of the applicability and the power of attribute grammars two examples are given which describe the type-determination problem for simple arithmetic expressions. Also, Knuth's circularity test for attribute grammars is described.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chebotar, K.S.: Some modifications of Knuth's algorithm for verifying cyclicity of attribute grammars. Programming and Computer Software 7, (1981), pp. 58–61.

    Google Scholar 

  2. Deransart, P., Jourdan, M. and Lorho, B.: Speeding up circularity tests for attribute grammars. Acta Informatica 21 (1984), pp. 375–391.

    Article  Google Scholar 

  3. Deransart, P., Jourdan, M. and Lorho, B.: Attribute grammars, Definitions, Systems and Bibliography. Lecture Notes in Computer Science 323, Springer (1988).

    Google Scholar 

  4. Engelfriet, J. and Filè, G.: The formal power of one-visit attribute grammars. Acta Informatica 16 (1981), pp. 275–302.

    Article  Google Scholar 

  5. Jazayeri, M.: A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars. Journ. ACM 28, (1981), pp. 715–720.

    Article  Google Scholar 

  6. Jazayeri, Ogden, W.F. and Rounds, W.C.: On the complexity of circularity tests for attribute grammars. In: Proc. 2nd ACM Symposium on Principles of Programming Languages (1975), pp. 119–129.

    Google Scholar 

  7. Jazayeri, Ogden, W.F. and Rounds, W.C.: The intrinsically exponential complexity of the circularity problem for attribute grammars. Comm. ACM 18 (1975), pp. 679–706.

    Article  Google Scholar 

  8. Jourdan, M. and Parigot, D.: More on speeding up circularity tests for attribute grammars. INRIA Rapports de Recherche No. 828 (1988).

    Google Scholar 

  9. Knuth, D.E.: The Art of Computer Programming, Vol. 1, Fundamental Algorithms. Addison Wesley (1968).

    Google Scholar 

  10. Knuth, D.E.: Semantics of context-free languages. Math. Systems Theory 2 (1968), pp. 127–145.

    Article  Google Scholar 

  11. Knuth, D.E.: Semantics of context-free languages, Correction. Math. Systems Theory 5 (1971), pp. 95–96.

    Article  Google Scholar 

  12. Lorho, B. and Pair, C.: Algorithms for checking consistency of attribute grammars. In: Proving and Improving Programs, Symposium IRIA, Rocquencourt (1985), pp. 29–54.

    Google Scholar 

  13. Räihä, K.-J. and Saarinen, M.: An optimization of the alternating semantic evaluator. Information Processing Letters 6 (1977), pp. 97–100.

    Article  Google Scholar 

  14. Wilhelm, R.: Attributierte Grammatiken. In: Informatik Spektrum 2 (1979), pp. 123–130.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands

    Henk Alblas

Authors
  1. Henk Alblas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Henk Alblas Bořivoj Melichar

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alblas, H. (1991). Introduction to attribute grammars. In: Alblas, H., Melichar, B. (eds) Attribute Grammars, Applications and Systems. SAGA School 1991. Lecture Notes in Computer Science, vol 545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54572-7_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-54572-7_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54572-9

  • Online ISBN: 978-3-540-38490-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation