Which of the following is an important component of semantic analysis?
Type checking is an important component of semantic analysis.
Semantic analysis is the task of ensuring that the declarations and statements of a program are semantically correct, that their meaning is clear and consistent with the way in which control structures and data types are supposed to be used.
Type checking is a program analysis that verifies something about the types that are used in the program.