Skip to main content
SpringerLink
Log in

The output-store formal translator directed by LR parsing

  • Contributed Papers
  • Conference paper
  • First Online:
SOFSEM'97: Theory and Practice of Informatics (SOFSEM 1997)

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

  • 130 Accesses

Abstract

This paper presents a one-pass formal translator that can be constructed for each translation grammar with an LR(k) input grammar. The formal translator is the conventional LR parser whose operations are extended by actions performing both an output and a temporary storing of output symbols. The temporary storing of some symbols before their appending to the output string is implemented by using one synthesized attribute.

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. Alblas, H., Melichar, B. (Eds.) Attribute Grammars, Applications and Systems. LNCS, vol 545, Springer-Verlag, Berlin, 1991.

    Google Scholar 

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

    Google Scholar 

  3. Aho, A.V., Ullman, J.D. The Theory of Parsing, Translation and Compiling. Vol.1: Parsing, Vol.2: Compiling, Prentice-Hall, New York, 1971, 1972.

    Google Scholar 

  4. Deransart, P., Jourdan, M. (Eds.) Attribute Grammars and their Applications. LNCS, vol 461, Springer-Verlag, Berlin, 1990.

    Google Scholar 

  5. Janoušek, J. Formal Translations Described by Translation Grammars with LR(k) Input Grammars. Postgraduate Study Report, Department of Computer Science and Engineering, CTU, Prague, September 1997.

    Google Scholar 

  6. Melichar, B. Syntax Directed Translation with LR Parsing. In: LNCS, vol 641 (Compiler Construction), Springer-Verlag, Berlin, pp. 30–36, 1992.

    Google Scholar 

  7. Melichar, B. LR Parsing and Formal Translation. Doctoral dissertation thesis, Department of Computer Science and Engineering, CTU, Prague, 1995.

    Google Scholar 

  8. Melichar, B., Bac, N.V. Transformations of Grammars and Translation Directed by LR Parsing. Research report DC-96-02, Department of Computer Science and Engineering, CTU, Prague, March 1996.

    Google Scholar 

  9. Purdom, P., Brown, C.A. Semantic Routines and LR(k) Parsers. Acta Informatica, Vol. 14, No. 4, pp. 229–315, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Czech Technical University, Karlovo nám. 13, 121 35, Prague, Czech Republic

    Jan Janoušek & Bořivoj Melichar

Authors
  1. Jan Janoušek
    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

Editor information

František Plášil Keith G. Jeffery

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Janoušek, J., Melichar, B. (1997). The output-store formal translator directed by LR parsing. In: Plášil, F., Jeffery, K.G. (eds) SOFSEM'97: Theory and Practice of Informatics. SOFSEM 1997. Lecture Notes in Computer Science, vol 1338. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63774-5_123

Download citation

  • DOI: https://doi.org/10.1007/3-540-63774-5_123

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63774-5

  • Online ISBN: 978-3-540-69645-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation