Code-Optimierung mittels attributierter Transformationsgrammatiken

  • Reinhard Wilhelm
3. Programmiersprachen Und Compiler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 26)

Zusammenfassung und Ausblick

Attributierte Transformationsgrammatiken wurden vorgestellt, als ein Mittel zur formalen Beschreibung von Code-Optimierungsalgorithmen. Ein angestrebtes Ziel für weitere Arbeit ist der Beweis, daß gewisse durch AT-Regeln beschriebene Optimierungen Äquivalenztransformationen sind, d.h., daß optimierte Programme die gleichen Ergebnisse liefern wie die Ausgangsprogramme. Daß dieses bei existierenden optimierenden Compilern nicht immer der Fall ist, dürfte bekannt sein.

Ich möchte Frl.Dr.Hill, Herrn Dr.Schwald und Herrn Dieterich für wertvolle Diskussionen danken.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. (Cocke 70).
    Cocke, J., Schwartz, J.T.: Programming Languages and Their Compilers. Prelim. Notes. Courant Institute of Mathematical Sciences 1970Google Scholar
  2. (deRemer 73).
    deRemer, F.: Transformational Grammars for Languages and Compilers. Techn. Rep. No. 50, Univ. of Newcastle upon Tyne 1973Google Scholar
  3. (Grau 67).
    Grau, A.A., Hill, U., Langmaack, H.: Translation of AlGOL60. Handbook for Automatic Computation Ib. Springer 1967Google Scholar
  4. (Gries 71).
    Gries, D.: Compiler Construction for Digital Computers. J. Wiley 1971Google Scholar
  5. (Knuth 68).
    Knuth, D.E.: Semantics of Context-Free Languages. Math. Systems Theory, 2, 1968Google Scholar
  6. (Koster 71).
    Koster, C.H.A.: Affix-Grammars, in Peck (Ed.): ALGOL68 Implementation. North Holland 1971Google Scholar
  7. (Rosen 73).
    Rosen, B.K.: Tree-Manipulating Systems and Church Rosser Theorems. JACM Vol.20, No.1, 1973Google Scholar
  8. (Wilhelm 74).
    Wilhelm, R.: Codeoptimierung mit attributierten Transformationsgrammatiken. Bericht Nr.7408, Abteilung Math. TU MünchenGoogle Scholar
  9. (Kron 74).
    Kron, H.H.: Partial Subtree Transformational Grammars. Univ. of California, Santa Cruz 1974Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • Reinhard Wilhelm
    • 1
  1. 1.Technische Universität München Abteilung MathematikMünchen 2

Personalised recommendations