Advertisement

Semantic Analysis

  • William M. Waite
  • Gerhard Goos
Part of the Texts and Monographs in Computer Science book series (MCS)

Abstract

Semantic analysis determines the properties of a program that are classed as static semantics (Section 2.1.1), and verifies the corresponding context conditions — the consistency of these properties.

Keywords

Semantic Analysis Abstract Syntax Record Type Attribute Grammar Language Definition 
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 New York Inc. 1984

Authors and Affiliations

  • William M. Waite
    • 1
  • Gerhard Goos
    • 2
  1. 1.Department of Electrical EngineeringUniversity of ColoradoBoulderUSA
  2. 2.Institut für Informatik IIUniversität KarlsruheWest Germany

Personalised recommendations