Systematische Analyse Semantischer Abhaengigkeiten

Zusammenfassung

Die statische Semantik einer Programmiersprache kann beschrieben werden, indem man den Sprachkomponenten Attribute zuordnet und Abhaengigkeiten zwischen den Attributen angibt. In diesem Bericht wird beschrieben, wie solche Zusammenhaenge systematisch untersucht werden koennen. Es wird ein Verfahren angegeben, mit dem aus der syntaktischen und semantischen Definition einer Sprache eine Vorschrift ermittelt wird, nach der die semantischen Eigenschaften und Zusammenhaenge jedes Satzes der Sprache ermittelt werden koennen. Der Algorithmus kann zusammen mit einem Algorithmus zur Generierung eines Zerteilers den Kern eines Uebersetzer-erzeugenden Systems bilden. Mit solch einem System koennen die Uebersetzer-Prozeduren, die die semantische Analyse durchfuehren, automatisch aus der Sprachdefinition generiert werden. Die Komplexitaet der ausdrueckbaren semantischen Zusammenhaenge wird durch das Verfahren nicht beschraenkt.