Concept
Semantic analysis (compilers)
Overview
Semantic analysis or context sensitive analysis is a process in compiler construction, usually after parsing, to gather necessary semantic information from the source code. It usually includes type checking, or makes sure a variable is declared before use which is impossible to describe in the extended Backus–Naur form and thus not easily detected during parsing.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
Place in the tradition
Part of Type theory.
Explore Semantic analysis (compilers) in the interactive graph →