Zusammenfassung
Die einheitliche und vollständige Beschreibung von Syntax, Kontextbedingungen und Semantik einer Programmiersprache erfordert die Verwendung eines formalen Beschreibungsmittels, das die übersichtliche und präzise Darstellung komplexer Abhängigkeiten gestattet. Graph-Grammatiken haben sich dabei beuährt, da sie neben der formalen Definition der Programmiersprache eine einfache Beschreibung der Übersetzung, Fehlerbehandlung, Codeoptimierung und der Maschinencode-Erzeugung eines Compilers ermöglichen.
Werden Syntax und Kontextbedingungen einer Programmiersprache durch eine Graph-Grammatik spezifiziert, erhält man für jedes Programm eine abstrakte Repräsentation als Graph. Dieser Programmgraph kann dann als Datenstruktur des Compilers veruendet uerden, da er alle bei konventionellen Compilern in Listen und Tabellen gespeicherten Informationen zum übersetzenden Programm enthält. Die Definition der operationeilen Semantik einer Programmiersprache durch Spezifikation eines Interpreters für die entsprechenden Strukturelemente der Programmgraphen kann ebenfalls durch Graph-Grammatiken vorgenommen uerden. Für die Klasse der Programmiersprachen, uelche diese Strukturelemente als semantische Bausteine besitzen, kann dann ein Compiler-Compiler erstellt uerden, der aus der speziellen Graph-Grammatik der Programmiersprache den entsprechenden Compiler generiert.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Austermühl, B./ Henhapl, W./ Krön, H.H./ Lutze, R.: Die Generierung von interaktiven Programmierumgebungen Notizen zum Interaktiven Programmieren, Heft 2, 1979
Brendel, W.: Maschinencode-Erzeugung bei inkrementeller Compilation Arbeitsbericht des IMMD 9, 1, 126–237, Erlangen 1976
Brendel, W./ Bunke, H./ Nagl, PI.: Syntaxgesteuerte Programmierung und inkrementelle Compilation Informatik Fachberichte 10, 57–74, Berlin: Springer Verlag 1977
Brendel, W./ Nagl, M./ Weber, D.: Implementation of Sequential and Parallel Graph-Reuriting Systems, in J. Mühlbacher (Ed.): Datenstrukturen, Graphen, Algorithmen, Applied Computer Science 8, 79–106, München: Hanser Verlag 1978
Göttler, H.: Semantical description by two-level graph-grammars for quasihierarchical graphs, Proc. Workshop WG 78 on Graphtheo-retical Concepts in Computer Science
Nagl, M.: A Tutorial and Bibliographical Survey on Graph-Grammars Proc. Int. Workshop on Graph-Grammars and Their Applications in Comp. Science and Biology, 1978
Nagl, M.: Graph-Grammatiken: Theorie, Anwendungen, Implementierung Wiesbaden, Vieweg Verlag 1979
Weber, D.: Transformation Programs for Data Graphs, a Tool for Specifying, Verifying and Implementing Data Types, Proc. Workshop WG 78 on Graphtheoretic Concepts in Computer Science
Wirth, N.: Algorithms + Data Structures = Programs Prentice Hall Series in Automatic Computation, 1976
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Brendel, W. (1979). Formale Beschreibung Von Programmiersprachen Durch Graph-Grammatiken. In: Böhling, K.H., Spies, P.P. (eds) GI — 9. Jahrestagung. Informatik-Fachberichte, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67444-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-67444-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09664-1
Online ISBN: 978-3-642-67444-0
eBook Packages: Springer Book Archive