Semantic analysis (compilers)

Semantic analysis ,also context sensitive analysis,is a process in complier construction,usually after parsing,to gather necessary semantic infomation from source code.It usually includes Type checking,or make sure a variable is declared before use which is impossible to detect in parsing

Theory

Attribute grammar

implementation

• Haskell:usually with the help of monad(programming language) and applicative functor

See also

context sensitive language Compiler