Semantic Analysis

Semantic Analysis

Check that the meaning of what is reading is valid.

Semantic Tree

Hierarchical structure where the operations of the source program are registred.

Symbol table

Stores the information in an internal data structure.

Semantic refears to the meaning or interpretation of a determinated symbol, element, word, expression or formal representation.

Type systems

Set of rules that determine the criteria for assigning type expressions to the different parts of the source code

Type Check

*Consitency

*Equivalence

*Explicit conversion

*Overload

*Inference type