Advertisement

Attribute evaluation and parsing

  • Rieks op den Akker
  • Bořivoj Melichar
  • Jorma Tarhio
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Attribute Evaluation Parsing Table Input String State Item State Symbol 
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.

Bibliography

  1. [ASU86]
    Aho, A.V., Sethi, R. and Ullman, J.D. Compilers, Principles, Techniques and Tools. Addison-Wesley Publ., Reading, Mass., 1985.Google Scholar
  2. [AhU72]
    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. [Akk88]
    op den Akker, R. Parsing attribute grammars. Doctoral dissertation, Dept. Comput. Sci., University of Twente, The Netherlands, 1988.Google Scholar
  4. [Akk89]
    op den Akker, R. On LC(0) grammars and languages. Theoretical Comput. Sci. 66 (1989) 65–85.CrossRefGoogle Scholar
  5. [AMT90]
    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. [Bea82]
    Beatty, J.C. On the relationship between the LL(1) and LR(1) grammars, Journal of the ACM 29 (1982) 1007–1022.CrossRefGoogle Scholar
  7. [BoW78]
    Bochman, G. and Ward, P. Compiler writing system for attribute grammars. The Computer Journal 21, 2 (1978), 144–148.Google Scholar
  8. [Bro74]
    Brosgol, B.M. Deterministic translation grammars. Ph.D. Thesis, TR-74, Harvard University, Cambridge, Mass., 1974.Google Scholar
  9. [DJL88]
    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. [Eul85]
    Eulenstein, M. POCO — Compiler generator user manual. Techn. Bericht A2/85, Universitat des Saarlandes, 1985.Google Scholar
  11. [Fil83]
    Filé, G. The theory of attribute grammars. Doctoral dissertation, Twente University of Technology, Enschede, The Netherlands, 1983.Google Scholar
  12. [GRW76]
    Ganzinger, H., Ripken, K. and Wilhelm, R. MUG1 — an incremental compiler-compiler. In: ACM 1976 Annual Conference, 415–418.Google Scholar
  13. [Hal87]
    Hall, M. The optimization of automatically generated compilers. Ph.D. thesis, Dept. Comput. Sci., University of Colorado, 1987.Google Scholar
  14. [HSS88]
    Haripriyan, H., Srikant, Y. and Shankar, P. A compiler writing system based on affix grammars. Comp. Lang. 13 (1988), 1–11.CrossRefGoogle Scholar
  15. [JoM80]
    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. [Knu68]
    Knuth, D.E. Semantics of context-free languages, Mathematical Systems Theory 2 (1968) 127–145. Correction in: Mathematical Systems Theory 5 (1971) p.95.CrossRefGoogle Scholar
  17. [LDH83]
    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. [LRS74]
    Lewis, P.M., Rosenkrantz, D.J. and Stearns, R.E. Attributed translations, J. Comput. System Sci. 9 (1974) 279–307.Google Scholar
  19. [Mad80]
    Madsen, C.M. Parsing attribute grammars. M. Sc. thesis. Dept. Comput. Sci., University of Aarhus, Aarhus, 1980.Google Scholar
  20. [Mei86]
    Meijer, H. Programmar: a translator generator. Doctoral dissertation, University of Nijmegen, The Netherlands, 1986.Google Scholar
  21. [Mel86]
    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. [Mil77]
    Milton, D. Syntactic specification and analysis with attributed grammars. Technical report #304, Comput. Sci. Dept., University of Wisconsin-Maddison, Wisconsin, 1977.Google Scholar
  23. [MKR79]
    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. [NaS86]
    Nakata, I. and Sassa, M. L-attributed LL(1)-grammars are LR(1)-attributed, Information Processing Letters 23 (1986) 325–328.MathSciNetGoogle Scholar
  25. [Poh83]
    Pohlmann, W. LR parsing of affix grammars, Acta Informatica 20 (1983) 283–300.CrossRefGoogle Scholar
  26. [Row77]
    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. [Sas88]
    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. [SIN85]
    Sassa, M., Ishizuka, H. and Nakata, I. A contribution to LR-attributed grammars, Journal of Information Processing 8 (1985) 196–206.Google Scholar
  29. [SIN87]
    Sassa, M., Ishizuka, H. and Nakata, I. ECLR-attributed grammars: a practical class of LR-attributed grammars, Information Processing Letters 24 (1987) 31–41.MathSciNetGoogle Scholar
  30. [SIS90]
    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. [Sch91]
    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. [Ser82]
    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. [SoS77]
    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. [SoU76]
    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. [StT89]
    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. [Tar88]
    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. [Tar88b]
    J. Tarhio: The compiler writing system Metauncle. Report C-1988-23, Dept. Comput. Sci., University of Helsinki, Finland, 1988.Google Scholar
  38. [Tar89]
    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. [Tar90]
    Tarhio, J. Uncle-attributed grammars. BIT 30 (1990) 437–449.Google Scholar
  40. [Vel88]
    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. [Wat77]
    Watt, D.A. The parsing problem of affix grammars, Acta Informatica 8 (1977) 1–20.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Rieks op den Akker
    • 1
  • Bořivoj Melichar
    • 2
  • Jorma Tarhio
    • 3
  1. 1.Department of Computer ScienceUniversity of TwenteAE EnschedeThe Netherlands
  2. 2.Department of ComputersCzech Technical UniversityPragueCzechoslovakia
  3. 3.Department of Computer ScienceUniversity of HelsinkiHelsinkiFinland

Personalised recommendations