Skip to main content
SpringerLink
Log in
Book cover

International Summer School on Attribute Grammars, Applications, and Systems

SAGA School 1991: Attribute Grammars, Applications and Systems pp 187–214Cite as

Attribute evaluation and parsing

  • Conference paper
  • First Online:

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

Abstract

Attribute evaluation during top-down, bottom-up and left-corner parsing strategies is considered. For each of these parsing strategies, restrictions are given for L-attributed grammars that allow deterministic non-backtracking, one-pass evaluators to be used.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Aho, A.V., Sethi, R. and Ullman, J.D. Compilers, Principles, Techniques and Tools. Addison-Wesley Publ., Reading, Mass., 1985.

    Google Scholar 

  2. Aho, A.V. and Ullman, J.D. The Theory of Parsing, Translation and Compiling. Vol.1 and Vol.2, Prentice Hall, Englewood Cliffs, N.J., 1972.

    Google Scholar 

  3. op den Akker, R. Parsing attribute grammars. Doctoral dissertation, Dept. Comput. Sci., University of Twente, The Netherlands, 1988.

    Google Scholar 

  4. op den Akker, R. On LC(0) grammars and languages. Theoretical Comput. Sci. 66 (1989) 65–85.

    Article  Google Scholar 

  5. op den Akker, R., Melichar, B. and Tarhio J. The hierarchy of LR-attributed grammars. In: Proc. of International Conference WAGA on Attribute Grammars and their Applications (ed. P. Deransart and M. Jourdan), Lect. Notes Comput. Sci. 461, Springer-Verlag, Berlin, 1990, 13–28.

    Google Scholar 

  6. Beatty, J.C. On the relationship between the LL(1) and LR(1) grammars, Journal of the ACM 29 (1982) 1007–1022.

    Article  Google Scholar 

  7. Bochman, G. and Ward, P. Compiler writing system for attribute grammars. The Computer Journal 21, 2 (1978), 144–148.

    Google Scholar 

  8. Brosgol, B.M. Deterministic translation grammars. Ph.D. Thesis, TR-74, Harvard University, Cambridge, Mass., 1974.

    Google Scholar 

  9. Deransart, P., Jourdan, M. and Lorho, B. Attribute Grammars — Definitions, Systems and Bibliography. Lectu. Notes Comput. Sci. 323, Springer-Verlag, Berlin, 1988.

    Google Scholar 

  10. Eulenstein, M. POCO — Compiler generator user manual. Techn. Bericht A2/85, Universitat des Saarlandes, 1985.

    Google Scholar 

  11. Filé, G. The theory of attribute grammars. Doctoral dissertation, Twente University of Technology, Enschede, The Netherlands, 1983.

    Google Scholar 

  12. Ganzinger, H., Ripken, K. and Wilhelm, R. MUG1 — an incremental compiler-compiler. In: ACM 1976 Annual Conference, 415–418.

    Google Scholar 

  13. Hall, M. The optimization of automatically generated compilers. Ph.D. thesis, Dept. Comput. Sci., University of Colorado, 1987.

    Google Scholar 

  14. Haripriyan, H., Srikant, Y. and Shankar, P. A compiler writing system based on affix grammars. Comp. Lang. 13 (1988), 1–11.

    Article  Google Scholar 

  15. Jones, N.D. and Madsen, C.M. Attribute-influenced LR parsing. In: Proc. of the Aarhus Workshop on Semantics-Directed Compiler Generation, N.D. Jones (ed.) Springer-Verlag, Berlin, 1980, 393–407.

    Google Scholar 

  16. Knuth, D.E. Semantics of context-free languages, Mathematical Systems Theory 2 (1968) 127–145. Correction in: Mathematical Systems Theory 5 (1971) p.95.

    Article  Google Scholar 

  17. Lewi, J.,De Vlaeminck, K., Huens, J. and Steegmans, E. The language implementation laboratory LILA: an overview. In: Microcomputers; developments in industry, business and education (eds. D. Wilson and C. van Spronsen), Elsevier, 1983, 11–21.

    Google Scholar 

  18. Lewis, P.M., Rosenkrantz, D.J. and Stearns, R.E. Attributed translations, J. Comput. System Sci. 9 (1974) 279–307.

    Google Scholar 

  19. Madsen, C.M. Parsing attribute grammars. M. Sc. thesis. Dept. Comput. Sci., University of Aarhus, Aarhus, 1980.

    Google Scholar 

  20. Meijer, H. Programmar: a translator generator. Doctoral dissertation, University of Nijmegen, The Netherlands, 1986.

    Google Scholar 

  21. Melichar, B. Attributed translation directed by LR parser and its implementation. In: Proc. of the Bautzen Workshop on Compiler Compilers and Incremental Compilation, Informatik Reporte 1989:12, Akademie der Wissenschaften der DDR, GDR, 1986, 273–290.

    Google Scholar 

  22. Milton, D. Syntactic specification and analysis with attributed grammars. Technical report #304, Comput. Sci. Dept., University of Wisconsin-Maddison, Wisconsin, 1977.

    Google Scholar 

  23. Milton, D., Kirchoff, L. and Rowland, B. An ALL(1) compiler generator. In: ACM SIGPLAN '79, Symposium on Compiler Construction, SIGPLAN Notices 17, 10 (1979), 152–157.

    Google Scholar 

  24. Nakata, I. and Sassa, M. L-attributed LL(1)-grammars are LR(1)-attributed, Information Processing Letters 23 (1986) 325–328.

    MathSciNet  Google Scholar 

  25. Pohlmann, W. LR parsing of affix grammars, Acta Informatica 20 (1983) 283–300.

    Article  Google Scholar 

  26. Rowland, B.R. Combining parsing and evaluation for attribute grammars. Technical Report #308, Comput. Sci. Dept., University of Wisconsin-Madison, Madison, Wisconsin, 1977.

    Google Scholar 

  27. Sassa, M. Incremental attribute evaluation and parsing based on ECLR-attributed grammars. Technical Report ISE-TR-88-66, Institute of Information Sciences and Electronics, University of Tsukuba, 1988.

    Google Scholar 

  28. Sassa, M., Ishizuka, H. and Nakata, I. A contribution to LR-attributed grammars, Journal of Information Processing 8 (1985) 196–206.

    Google Scholar 

  29. Sassa, M., Ishizuka, H. and Nakata, I. ECLR-attributed grammars: a practical class of LR-attributed grammars, Information Processing Letters 24 (1987) 31–41.

    MathSciNet  Google Scholar 

  30. Sassa, M., Ishizuka, H., Sawatani, M. and Nakata, I. Rie — introduction and user's manual. Technical Report ISE-TR-90-82, Institute of Information Sciences and Electronics, University of Tsukuba, 1990.

    Google Scholar 

  31. Schepers, W.J.M. Twente Compiler Generator System, user's guide, Memoranda Informatica 91-aa, Dept. Comput. Sci., University of Twente, The Netherlands, 1991.

    Google Scholar 

  32. Serebryakov, V. Principal features of the input language and implementation of the translator design system SUPER. Prog. and Comput. Softw. 8, 1 (1982), 52–56.

    Google Scholar 

  33. Soisalon-Soininen, E. Characterization of LL(k) languages by restricted LR(k) grammars, Report A-1977-3. Dept. Comput. Sci., University of Helsinki, Finland, 1977.

    Google Scholar 

  34. Soisalon-Soininen, E. and Ukkonen, E. A characterization of LL(k) languages. In: Automata, Languages and Programming, S. Michaelson and R. Milner (eds.), Edinburgh University Press, Edinburgh, 1976, 20–30.

    Google Scholar 

  35. B. Stiefel and P. Thiel: Application of attributed grammar for syntax and attribute-directed bottom-up translation. In: Proc. of the Second Workshop on Compiler Compiler and High Speed Compilation (ed. D. Hammer), Informatik Reporte 1989: 3, Akademie der Wissenschaften der DDR, GDR, 1989, 222–238.

    Google Scholar 

  36. Tarhio, J. Attribute grammars for one-pass compilation. Report A-1988-11, Ph.D Thesis, Dept. Comput. Sci., University of Helsinki, Finland, 1988.

    Google Scholar 

  37. J. Tarhio: The compiler writing system Metauncle. Report C-1988-23, Dept. Comput. Sci., University of Helsinki, Finland, 1988.

    Google Scholar 

  38. Tarhio, J. A compiler generator for attribute evaluation during LR parsing. In: Proc. of the Second Workshop on Compiler Compiler and High Speed Compilation (ed. D. Hammer), Lect. Notes Comput. Sci. 371, Springer-Verlag, Berlin, 1989, 146–159.

    Google Scholar 

  39. Tarhio, J. Uncle-attributed grammars. BIT 30 (1990) 437–449.

    Google Scholar 

  40. Veldhuijzen van Zanten, G.E. SABLE: a parser generator for ambiguous grammars. Memorandum Informatica 88–62, Dept. Comput. Sci., University of Twente, The Netherlands, 1988.

    Google Scholar 

  41. Watt, D.A. The parsing problem of affix grammars, Acta Informatica 8 (1977) 1–20.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Rieks op den Akker

  2. Department of Computers, Czech Technical University, Karlovo náměstí 13, 121 35, Prague, Czechoslovakia

    Bořivoj Melichar

  3. Department of Computer Science, University of Helsinki, Teollisuuskatu 23, SF-00510, Helsinki, Finland

    Jorma Tarhio

Authors
  1. Rieks op den Akker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bořivoj Melichar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jorma Tarhio
    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

op den Akker, R., Melichar, B., Tarhio, J. (1991). Attribute evaluation and parsing. 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_7

Download citation

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

  • 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