Skip to main content
SpringerLink
Log in

Eigenschaften von Programmiersprachen — Definiert Durch Attributierte grammatiken

  • Conference paper
Programmiersprachen und Programmentwicklung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 25))

  • 36 Accesses

Zusammenfassung

Attributierte Grammatiken werden zur formalen Definition statischer Eigenschaften von Programmiersprachen und zur Spezifikation von Übersetzern angewandt. Für eine Reihe von wichtigen kontextabhängigen Spracheigenschaften (Gültigkeitsbereichsregeins Regeln zur Typbestimmung und -anpassung) aus verschiedenen Sprachen geben wir Definitionen in Form von attributierten Grammatiken an.

Abstract

Attributed grammars are both used for formal definitions of static properties of programming languages and for compiler specification. Attributed definitions of several important properties (scope rules, type determination and coercion) of different languages are shown.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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. American National Standard Programming language FORTRAN. American National Standard Institute, X 3.9, 1966 u. 1978

    Google Scholar 

  2. Burroughs B6700/7700 ALGOL Language, Reference Manual Burroughs Corporation, Form No, 5000649, 1974

    Google Scholar 

  3. Jensen, K., Wirth, N.: Pascal User Manual and Report, Springer Verlag Heidelberg 1974

    MATH  Google Scholar 

  4. Kastens, U.: Einführung in attributierte Grammatiken. In: Fachgespräche Compiler-Compiler, Berlin 1978, Bericht der Techn. Hochschule Darmstadt, Fachbereich Informatik, 1978

    Google Scholar 

  5. Kastens, U.: Ordered Attributed Grammars. Interner Bericht 7/78, Fakultät für Informatik, Universität Karlsruhe

    Google Scholar 

  6. Kastens, U.: ALADIN — eine Beschreibungssprache auf der Basis attributierter Grammatiken. Interner Bericht 7/79, Fakultät für Informatik, Universität Karlsruhe

    Google Scholar 

  7. Kastens, U., Köllner, R., Zimmermann, E.: Eine attributierte Grammatik für PEARL. Interner Arbeitsbericht, Fakultät für Informatik, Universität Karlsruhe, 1979

    Google Scholar 

  8. Knuth, D.E.: Semantics of Context-free Languages, In: Math. Syst. Th. 2, 2, 1968 und 5, 1, 1971

    Google Scholar 

  9. Koster, C.H.A.: On Infinite Modes. In: Algol Bulletin 30,3, 1969

    Google Scholar 

  10. Naur, P. (ed.): Report on the algorithmic language ALGOL 60. In: Num. Math 2, 1960

    Google Scholar 

  11. Schauer, J.: Eine attributierte Grammatik für LIS. Interner Arbeitsbericht, Fakultät für Informatik, Universität Karlsruhe

    Google Scholar 

  12. Watt, D.A.: An Extended Attribute Grammar for PASCAL. SIGPLAN Notices 14, 2, 1979

    Article  Google Scholar 

  13. v. Wijngaarden, A. (ed.): Revised report on the algorithmic language ALGOL 68. In: Acta Informatica 5, 1975

    Google Scholar 

  14. Wilhelm, R.: Attributierte Grammatiken. In: Informatik-Spektrum 2, 3, 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik II, Universität Karlsruhe, Postfach 6380, 7500, Karlsruhe 1, Deutschland

    Uwe Kastens

Authors
  1. Uwe Kastens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Programmiersprachen und Übersetzer, Institut für Praktische Informatik, Fachbereich 20, Technische Hochschule Darmstadt, Steubenplatz 12, 6100, Darmstadt, Deutschland

    Hans-Jürgen Hoffmann

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Kastens, U. (1980). Eigenschaften von Programmiersprachen — Definiert Durch Attributierte grammatiken. In: Hoffmann, HJ. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67600-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67600-0_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09937-6

  • Online ISBN: 978-3-642-67600-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation