Semantic analysis (compilers)

From Wikipedia, the free encyclopedia

Semantic analysis or context sensitive analysis is a process in compiler construction, usually after parsing, to gather necessary semantic information from the source code.[1] 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.

See also[edit]


  1. ^ Reinhard Wilhelm; Helmut Seidl; Sebastian Hack (13 May 2013). Compiler Design: Syntactic and Semantic Analysis. Springer Science & Business Media. ISBN 978-3-642-17540-4.