Zusammenfassung
Auf die Überprüfung der syntaktischen Korrektheit des LA -Programms, die mit dem Aufbau des abstrakten Syntaxbaums einhergeht, folgt die semantische Analyse, die unter anderem die folgenden Aufgaben ausführt:
-
Sie überprüft die Eindeutigkeit von Bezeichnern in einem Scope.
-
Sie sammelt Informationen über die Gültigkeitsbereiche von Variablen.
-
Sie überprüft die konsistente Verwendung von Objekten entsprechend ihrer Deklarationen für den jeweiligen Gültigkeitsbereich.
-
Sie überprüft die Korrektheit der Typen von Operanden in Ausdrücken.
-
Sie stellt die Typen der formalen Parameter von Prozeduren und Funktionen fest und prüft bei Prozedur- bzw. Funktionsaufrufen, ob aktuelle und formale Parameter typverträglich sind.
-
Sie stellt die Typen der Rückgabewerte von Funktionen fest und überprüft die Erreichbarkeit von Return-Anweisungen in Funktionen.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Doberkat, EE., Fox, D. (1990). Semantische Analyse. In: Praktischer Übersetzerbau. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94714-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-94714-7_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02288-6
Online ISBN: 978-3-322-94714-7
eBook Packages: Springer Book Archive