The document discusses semantic analysis in compilers, detailing its components such as lexical analysis, syntax analysis, and types of semantic actions like scope resolution and type checking. It explains the concept of syntax-directed translation (SDT) and includes examples of attributes used in semantic analysis. Additionally, it references external resources for further learning on compiler design.

1. SEMANTIC
ANALYSIS
ZahidWaqas FA15-BSCS-208
Tasmiya Muddaser FA15-BSCS-209

2. SemanticAnalysis
CC
Compiler
High level language
Lexical Analysis
Machine Language
Syntax Analysis
Semantic Analysis

3. Types of SemanticAction Performed by:
■ Scope Resolution
■ Type Checking
■ Array Bound Checking

4. Syntax DirectedTranslation (SDT)
■ SDT is done by attaching rules to productions in a grammar
■ Every node of the abstract syntax tree is attached with certain attribute set
Example :
E---- E+T {E.val=E.val+T.val}

5. Example SDT

6. Types of Attribute :
■ Synthesized Attribute
■ Inherited Attribute

7. To help semantic analysis we need some
tools :
■ Semantic Rules (Syntax Directed Definition )
Example
■ Semantic Action (Syntax DirectedTranslation)
Example

8. Example :

9. Reference :
■ https://www.wisdomjobs.com/e-university/compiler-design-tutorial-1144/compiler-
design-semantic-analysis-25305.html
■ https://www.youtube.com/channel/UCFWCFYvqnAMT-jcCqTp_SlA

10. Thanku !!!!!!!!!! 