Advertisement

Attribute grammars in a compiler construction environment

  • Uwe Kastens
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 545)

Abstract

Attribute grammar (AG) specifications are implemented by attribute evaluators which perform computations on tree structures as specified. An AG system should concentrate on generating that implementation. In compiler construction the attribute evaluator has to be combined with other modules, like scanner, parser, tree construction, data bases, and translation modules. Those are generated by other compiler tools, taken from a library, or implemented for the specific application. These components have to fit together properly on the specification level as well as on the level of module interfaces. In this paper those relationships are demonstrated using the LIGA system within the compiler construction environment Eli as an example.

Keywords

Operator Identification Abstract Syntax Concrete Syntax Target Representation Attribute Evaluator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ame83a]
    American National Standards Institute, Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815, 1983.Google Scholar
  2. [Ame83b]
    American National Standards Institute, Programming Language PASCAL, ANSI/IEEE 770 X3.97-1983, 1983.Google Scholar
  3. [Cle88]
    Clemm, G. M., The Odin Specification Language, in International Workshop on Software Version and Configuration Control '88, Teubner, Stuttgart, 1988.Google Scholar
  4. [DDH84]
    Dencker, P., Dürre, K. and Heuft, J., Optimization of Parser Tables for Portable Compilers, ACM Transactions on Programming Languages and Systems 6 (October 1984), 546–572.CrossRefGoogle Scholar
  5. [Dep91]
    Department of Electrical and Computer Engineering, University of Colorado, Eli Documentation, Technical Report, Boulder, CO, 1991.Google Scholar
  6. [GHK89]
    Gray, R. W., Heuring, V. P., Krane, S. P., Sloane, A. M. and Waite, W. M., Eli: A Complete, Flexible Compiler Construction System, Department of Electrical and Computer Engineering, University of Colorado, SEG 89-1-1, Boulder, CO, June 1989.Google Scholar
  7. [Heu86]
    Heuring, V. P., The Automatic Generation of Fast Lexical Analyzers, Software — Practice & Experience 16 (September 1986), 801–808.Google Scholar
  8. [Kas89]
    Kastens, U., LIGA: A Language Independent Generator for Attribute Evaluators, Universität-GH Paderborn, Bericht der Reihe Informatik Nr. 63, 1989.Google Scholar
  9. [Kas90]
    Kastens, U., Übersetzerbau, Handbuch der Informatik, Oldenbourg Verlag, München, 1990.Google Scholar
  10. [Kas91]
    Kastens, U., Attribute Grammars as a Specification Method, Proceedings of the International Summer School on Attribute Grammars, Application and Systems, Prague (1991).Google Scholar
  11. [Kas88]
    Kastens, U., Code Generation Based on Operator Identification, Universität-GH Paderborn, Reihe Informatik, Bericht Nr. 49, Januar 1988.Google Scholar
  12. [KHZ82]
    Kastens, U., Hutt, B. and Zimmermann, E., GAG: A Practical Compiler Generator, Lecture Notes in Computer Science, vol. 141, Springer Verlag, Heidelberg, 1982.Google Scholar
  13. [KaW90]
    Kastens, U. and Waite, W. M., An Abstract Data Type for Name Analysis, accepted for publication in Acta Informatica, 1990.Google Scholar
  14. [Lam87]
    Lamb, D. A., IDL: Sharing Intermediate Representations, ACM Transactions on Programming Languages and Systems 9 (1987), 297–318.CrossRefGoogle Scholar
  15. [PWD79]
    Persch, G., Winterstein, G., Dausmann, M. and Drossopoulou, S., Overloading in Ada, Fakultät für Informatik, Universität Karlsruhe, Bericht 23/79, Karlsruhe, BRD, 1979.Google Scholar
  16. [Pro89]
    Prott, K-J., Effiziente LALR(1)-Analyse mit Bestimmung sicherer Anknüpfungspositionen in einem Parsergenerator, Universität-GH Paderborn, Diplomarbeit, 1989.Google Scholar
  17. [WaG84]
    Waite, W. M. and Goos, G., Compiler Construction, Springer Verlag, New York, NY, 1984.Google Scholar
  18. [WHK88]
    Waite, W. M., Heuring, V. P. and Kastens, U., Configuration Control in Compiler Construction, in International Workshop on Software Version and Configuration Control '88, Teubner, Stuttgart, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Uwe Kastens
    • 1
  1. 1.University of PaderbornGermany

Personalised recommendations