Semantic analysis (compilers)

{{other uses|Semantic analysis (disambiguation)}}

Semantic analysis or context sensitive analysis is a process in compiler construction, usually after parsing, to gather necessary semantic information from the source code.{{cite book|author1=Reinhard Wilhelm|author2=Helmut Seidl|author3=Sebastian Hack|title=Compiler Design: Syntactic and Semantic Analysis|url=https://books.google.com/books?id=NTIkJAuytiwC&q=%22semantic+analysis%22|date=13 May 2013|publisher=Springer Science & Business Media|isbn=978-3-642-17540-4}} 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.