Eigenschaften von Programmiersprachen — Definiert Durch Attributierte grammatiken

  • Uwe Kastens
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 25)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    American National Standard Programming language FORTRAN. American National Standard Institute, X 3.9, 1966 u. 1978Google Scholar
  2. [2]
    Burroughs B6700/7700 ALGOL Language, Reference Manual Burroughs Corporation, Form No, 5000649, 1974Google Scholar
  3. [3]
    Jensen, K., Wirth, N.: Pascal User Manual and Report, Springer Verlag Heidelberg 1974MATHGoogle Scholar
  4. [4]
    Kastens, U.: Einführung in attributierte Grammatiken. In: Fachgespräche Compiler-Compiler, Berlin 1978, Bericht der Techn. Hochschule Darmstadt, Fachbereich Informatik, 1978Google Scholar
  5. [5]
    Kastens, U.: Ordered Attributed Grammars. Interner Bericht 7/78, Fakultät für Informatik, Universität KarlsruheGoogle Scholar
  6. [6]
    Kastens, U.: ALADIN — eine Beschreibungssprache auf der Basis attributierter Grammatiken. Interner Bericht 7/79, Fakultät für Informatik, Universität KarlsruheGoogle Scholar
  7. [7]
    Kastens, U., Köllner, R., Zimmermann, E.: Eine attributierte Grammatik für PEARL. Interner Arbeitsbericht, Fakultät für Informatik, Universität Karlsruhe, 1979Google Scholar
  8. [8]
    Knuth, D.E.: Semantics of Context-free Languages, In: Math. Syst. Th. 2, 2, 1968 und 5, 1, 1971Google Scholar
  9. [9]
    Koster, C.H.A.: On Infinite Modes. In: Algol Bulletin 30,3, 1969Google Scholar
  10. [10]
    Naur, P. (ed.): Report on the algorithmic language ALGOL 60. In: Num. Math 2, 1960Google Scholar
  11. [11]
    Schauer, J.: Eine attributierte Grammatik für LIS. Interner Arbeitsbericht, Fakultät für Informatik, Universität KarlsruheGoogle Scholar
  12. [12]
    Watt, D.A.: An Extended Attribute Grammar for PASCAL. SIGPLAN Notices 14, 2, 1979CrossRefGoogle Scholar
  13. [13]
    v. Wijngaarden, A. (ed.): Revised report on the algorithmic language ALGOL 68. In: Acta Informatica 5, 1975Google Scholar
  14. [14]
    Wilhelm, R.: Attributierte Grammatiken. In: Informatik-Spektrum 2, 3, 1979Google Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1980

Authors and Affiliations

  • Uwe Kastens
    • 1
  1. 1.Institut für Informatik IIUniversität KarlsruheKarlsruhe 1Deutschland

Personalised recommendations