Advertisement

Semantic and Type Analysis

  • Bernd Teufel
  • Stephanie Schmidt
  • Thomas Teufel

Abstract

In Chapter 3 and 4 different analyzing methods have been introduced. All these analyzers (lexical as well as syntax analyzers) are not concerned with the semantics or the meaning of given programs. A compiler has to check not only the syntactical correctness of a given source code, but also whether the semantics correspond to that of the programming language. This means, that semantic analysis has to guarantee that allcontext-sensitive rules of the programming language are considered.

Keywords

Auxiliary Variable Code Fragment Semantic Action Type Check Abstract Syntax Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1993

Authors and Affiliations

  • Bernd Teufel
    • 1
  • Stephanie Schmidt
    • 2
  • Thomas Teufel
    • 3
  1. 1.ART Informationssysteme GmbHÜberlingenDeutschland
  2. 2.Institut für InformatikUniversität ZürichSwitzerland
  3. 3.Arbeitsbereich Technische Informatik IIITechnische UniversitätHarburgDeutschland

Personalised recommendations