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
editReferences
edit- ^ 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.
This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |
