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.
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
© 1993 Springer-Verlag/Wien
About this chapter
Cite this chapter
Teufel, B., Schmidt, S., Teufel, T. (1993). Semantic and Type Analysis. In: C2 Compiler Concepts. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9274-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9274-0_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82431-3
Online ISBN: 978-3-7091-9274-0
eBook Packages: Springer Book Archive