Semantic analysis orcontext sensitive analysis is a process incompiler construction, usually afterparsing, to gather necessary semantic information from thesource code.[1] It usually includestype checking, or makes sure a variable is declared before use which is impossible to describe in theextended Backus–Naur form and thus not easily detected during parsing.
Thisprogramming language theory ortype theory-related article is astub. You can help Wikipedia byexpanding it. |