Advertisement

Semantische Analyse

  • Ernst-Erich Doberkat
  • Dietmar Fox

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1990

Authors and Affiliations

  • Ernst-Erich Doberkat
    • 1
  • Dietmar Fox
    • 2
  1. 1.Universität EssenDeutschland
  2. 2.Institut für InformatikUniversität HildesheimHildesheimDeutschland

Personalised recommendations