Chapter 7
Semantic Analysis
A semantic analyzer checks the semantics of a program, that is, whether the language constructs are meaningful or not. A semantic analyzer mainly performs static type checking.
CHAPTER OUTLINE
7.4 Design of Simple Type Checker
7.5 Type Checking of Expressions
7.6 Type Checking of Statements
7.7 Type Checking of Functions
7.8 Equivalence of Type Expressions
A compiler must ensure that the source program follows the syntax and semantic conventions of the source language. Once the syntax is verified, the next task to be performed by a compiler is to check the semantics ...
Get Compiler Construction now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
