Skip to main content
SpringerLink
Log in

Use of attribute grammars in compiler construction

  • Compiler Construction
  • Conference paper
  • First Online:
Attribute Grammars and their Applications

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

Abstract

Attribute grammars were initially proposed as a tool for describing language semantics. Despite many years of development, however, they have had little impact upon practical compiler construction. Clearly attribute grammars are not the panacea claimed by some of their devotees; this paper considers their actual role in compiler construction.

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. E. T. Irons, ‘A Syntax-Directed Compiler For ALGOL 60', Communications of the ACM, 4, 51–55 (January 1961).

    Article  Google Scholar 

  2. E. T. Irons, ‘Towards More Versatile Mechanical Translators', in Experimental Arithmetic, High Speed Computing and Mathematics, vol. 15, American Mathematical Society, Providence, RI, 1963.

    Google Scholar 

  3. D. E. Knuth, ‘Semantics of Context-Free Languages', Mathematical Systems Theory, 2, 127–146 (June 1968).

    Article  Google Scholar 

  4. D. E. Knuth, ‘Semantics of Context-free Languages: Correction', Mathematical Systems Theory, 5, 95–96 (March 1971).

    Article  Google Scholar 

  5. M. Jazayeri, W. F. Ogden and W. C. Rounds, ‘On the Complexity of the Circularity Test for Attribute Grammars', in Conference Record of the Second ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, New York, 1975.

    Google Scholar 

  6. W. J. Cody and W. M. Waite, Software Manual for the Elementary Functions, Prentice Hall, Englewood Cliffs, NJ, 1980.

    Google Scholar 

  7. A. V. Aho, J. E. Hopcroft and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison Wesley, Reading, MA, 1974.

    Google Scholar 

  8. R. Jeffries, A. T. Turner, P. G. Polson and M. E. Atwood, ‘The Processes Involved in Software Design', in Acquisition of Cognitive Skills, J. R. Anderson, (ed.), Lawrence Erlbaum Associates, Hillsdale, NJ, 1981.

    Google Scholar 

  9. W. M. Waite and G. Goos, Compiler Construction, Springer Verlag, New York, NY, 1984.

    Google Scholar 

  10. D. A. Schmidt, Denotational Semantics, Allyn and Bacon, Newton, MA, 1986.

    Google Scholar 

  11. U. Kastens and W. M. Waite, 'An Abstract Data Type for Name Analysis', CU-CS-460-90, Department of Computer Science, University of Colorado, Boulder, CO, March 1990.

    Google Scholar 

  12. F. L. DeRemer and H. Kron, ‘Programming-in-the-large versus Programming-in-the-small', in Proceedings of the International Conference on Reliable Software, 1975.

    Google Scholar 

  13. U. Ammann, ‘Die Entwicklung eines PASCAL-Compilers nach der Methode des Strukturierten Programmierens', Ph.D. Thesis, Eidgenössischen Technischen Hochschule Zürich, Zürich, 1975.

    Google Scholar 

  14. R. K. Johnsson, W. A. Wulf, C. M. Geschke, S. O. Hobbs and C. B. Weinstock, The Design of an Optimizing Compiler, American Elsevier, New York, 1975.

    Google Scholar 

  15. E. Zimmermann, U. Kastens and B. Hutt, GAG: A Practical Compiler Generator, Springer Verlag, Heidelberg, 1982.

    Google Scholar 

  16. R. K. Jullig and F. DeRemer, ‘Regular Right-Part Attribute Grammars', SIGPLAN Notices, 19, 171–178 (June 1984).

    Article  Google Scholar 

  17. U. Kastens, ‘LIDO — A Specification Language for Attribute Grammars', Betriebsdatenerfassung, Fachbereich Mathematik-Informatik, Universität-GH Paderborn, Paderborn, FRG, October 1989.

    Google Scholar 

  18. T. Kamimura, ‘Tree Automata and Attribute Grammars', Information and Control, 57, 1–20 (1983).

    Article  Google Scholar 

  19. U. Kastens, ‘Ordered Attribute Grammars', Acta Informatica, 13, 229–256 (1980).

    Article  Google Scholar 

  20. M. L. Hall, ‘The Optimization of Automatically Generated Compilers', Ph.D. Thesis, Department of Computer Science, University of Colorado, Boulder, CO, 1987.

    Google Scholar 

  21. U. Kastens, ‘Lifetime Analysis for Attributes', Acta Informatica, 24, 633–651 (1987).

    Article  Google Scholar 

  22. R. W. Gray, V. P. Heuring, S. P. Krane, A. M. Sloane and W. M. Waite, 'Eli: A Complete, Flexible Compiler Construction System', SEG 89-1-1, Department of Electrical and Computer Engineering, University of Colorado, Boulder, CO, June 1989.

    Google Scholar 

  23. R. W. Gray, ‘Declarative Specifications for Automatically Constructed Compilers', PhD Thesis, Department of Computer Science, University of Colorado, Boulder, CO, December 1989.

    Google Scholar 

  24. M. Ishikawa, 'Local Attributes for OAG-Based Attribute Evaluators', CU-CS-472-90, Department of Computer Science, University of Colorado, Boulder, CO, May 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Colorado, 80309-0425, Boulder, CO, USA

    W. M. Waite

Authors
  1. W. M. Waite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Deransart M. Jourdan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Waite, W.M. (1990). Use of attribute grammars in compiler construction. In: Deransart, P., Jourdan, M. (eds) Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol 461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53101-7_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-53101-7_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53101-2

  • Online ISBN: 978-3-540-46666-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation