Skip to main content
SpringerLink
Log in

Implementierbarkeit Attributierter Grammatiken

  • Conference paper
GI — 7. Jahrestagung

Part of the book series: Informatik — Fachberichte ((INFORMATIK,volume 10))

Kurzfassung

In fast allen in den letzten Jahren entwickelten übersetzererzeugenden Systemen werden attributi erte Grammatiken verwendet zur Beschreibung der Syntax und Semantik von Programmiersprachen. Die dabei entwickelten Modifikationen und Einschränkungen attributierter Grammatiken werden in diesem Artikel vorgestellt. Aus der Erfahrung bei der Implementierung zweier Übersetzer-Generatoren werden sie verglichen und gewertet, wobei besonderes Augenmerk auf den praktischen Aufwand gerichtet ist, mit dem der Schritt von der Sprachbeschreibung zur Implementierung vollzogen werden kann.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. G. Bochmann: Semantic Evaluation from Left to Right, CACM, Vol. 19(2), Febr. 1976

    Google Scholar 

  2. I. Fang: FOLDS, a Declarative Formal Language Definition System, STAN-72–329, CS dept., Stanford University, 1972

    Google Scholar 

  3. J. Feldman, Translator Writing Systems, D. Gries: CACM, Vol. 11(2), Feb. 1968

    Google Scholar 

  4. H. Ganzinger: Modifizierte attributi erte Grammatiken, Bericht Nr. 7420, TU München, 1974

    Google Scholar 

  5. H. Ganzinger: MUGl-Manual, Bericht Nr. 7608, TU München, 1976

    Google Scholar 

  6. H. Ganzinger, K. Ripken, R. Wilhelm: Automatic Generation of Optimizing Multipass Compilers, in Information Processing 77, North-Holland, 1977

    Google Scholar 

  7. M.A. Harrison, I.M. Havel: Strict Deterministic Grammars, Journal of Computer and System Sciences 7, 1973

    Google Scholar 

  8. J. Hartmanns, J. Simon: On the Structure of Feasable Computations, GI — 4. Jahrestagung, Lecture Notes in Computer Science 26, Springer Verlag, 1975

    Google Scholar 

  9. M. Jazayeri: On Attribute Grammars and the Semantic Specification of Programming Languages, Rep. No. 1159, Case Western Reserve University, 1974

    Google Scholar 

  10. M. Jazayeri, W.F. Ogden, W.C Rounds: The Intrinsically Exponential Complexity of the Circularity Problem for Attribute grammars, CACM, Vol. 18(12), Dez. 1975

    Google Scholar 

  11. D.E. Knuth: Semantics of Context-Free Languages, Math. Systems Theory 2, 1968

    Google Scholar 

  12. D.E. Knuth: The Art of Computer Programming. Band 1, Addison-Wesley, Menlo Park, California, 1968

    Google Scholar 

  13. C.H.A. Kosten Affix Grammars, in J.E.L. Peck (ed.): ALGOL 68 Implementation, North Holland, 1971

    Google Scholar 

  14. C.H.A. Koster: A Compiler-Compiler, Mathematisch Centrum, Report MR 127, Amsterdam, 1971

    Google Scholar 

  15. C.H.A. Koster: Using the CDL Compiler, in F.L. Bauer, J. Eickel (Hrsg.): Compiler Construction, Lecture Notes in Computer Science 21, Springer Verlag, 1974

    Google Scholar 

  16. U. Kastens: Systematische Analyse semantischer Abhängigkeiten, Interner Bericht 12/75, Universtät Karlsruhe, 1975

    Google Scholar 

  17. U. Kastens: Ein übersetzererzeugendes System auf der Basis attributierter Grammatiken, Dissertation, Universität Karlsruhe, 1976

    Google Scholar 

  18. K. Kennedy, S.K. Warren: Automatic Generation of Efficient Evaluators for Attribute Grammars, Conf. record of the Third ACM Symposium on Principles of Programming Languages, 1976

    Google Scholar 

  19. B. Lorho: De la définition à la traduction des langages de programmation: méthodes des attributs sémantiques, Dissertation, Université Paul Sabati er, Nov. 1974

    Google Scholar 

  20. O. Lecarme, G. Bochmann: A (truly) Usable and Portable Compiler Writing System, in Information Processing 74, North Holland, 1974

    Google Scholar 

  21. P.M. Lewis, D.J. Rosenkrantz, R.E. Stearns: Attributed Translations, Proc. 5th Annual Symposium on Theory of Computing, 1973

    Google Scholar 

  22. M. Marcotty, H.F. Ledgard, G. Bochmann: A Sampler of Formal Definitions, ACM Computing Surveys 8(2), 1976

    Google Scholar 

  23. D. Watt: LR-parsing of affix grammars, Report Nr. 7, Dept. of Comp. Science, University of Glasgow, 1974

    Google Scholar 

  24. D. Watt: The Parsing Problem for Affix Grammars, Acta Informatica 8, 1977

    Google Scholar 

  25. R. Wilhelm, K. Ripken, J. Ciesinger, W. Lahner, R. Nollmann: Design Evaluation of the Compiler Generating System MUGI, Proc. 2nd International Conference on Software Engineering, San Francisco, 1976

    Google Scholar 

Download references

Author information

Author notes

  1. Reinhard Wilhelm

    Present address: Institut für angewandte Mathematik und Informatik, Universität des Saarlandes, Saarbrücken, Deutschland

Authors and Affiliations

  1. Institut für Informatik, TU München, Arcisstrasse 21, 8000, München 2, Deutschland

    Robert Giegerich & Reinhard Wilhelm

Authors
  1. Robert Giegerich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reinhard Wilhelm
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für mathematische, Maschinen und Datenverarbeitung (Informatik), Friedrich-Alexander-Universität Erlangen-Nürnberg, Martensstraße 3, 8520, Erlangen, Deutschland

    Hans Jürgen Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Giegerich, R., Wilhelm, R. (1977). Implementierbarkeit Attributierter Grammatiken. In: Schneider, H.J. (eds) GI — 7. Jahrestagung. Informatik — Fachberichte, vol 10. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-48908-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-48908-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08425-9

  • Online ISBN: 978-3-642-48908-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation