Semantic analysis (compilers): Difference between revisions

Content deleted Content added
remove redirect,add content
No edit summary
Line 1:
'''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
==approachTheory==
[[Attribute grammar]]
==implementation==
*[[Haskell]]:usually with the help of [[monad(programming language)]] and [[applicative functor]]
==See also==
[[context sensitive language]]