Semantic analysis (compilers): Difference between revisions

Revision as of 06:07, 17 January 2015

Latest revision as of 14:49, 4 December 2021

(20 intermediate revisions by 14 users not shown)

Line 1:

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

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

'''Semantic analysis''' or '''context sensitive analysis''' is a process in [[compiler]] construction, usually after [[parsing]], to gather necessary semantic information from the [[source code]].<ref name="WilhelmSeidl2013">{{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}}</ref> 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.

==Theory==

[[Attribute grammar]]

==implementation==

*[[Haskell (programming language)|Haskell]]:usually with the help of [[Monad (functional programming)]] and [[applicative functor]]

== See also ==

* [[Attribute grammar]]

* [[context Context-sensitive language]]

[[Compiler]]

* [[Semantic analysis (computer science)]]

==References==

<references />

[[Category:Compiler construction]]

[[Category:Program analysis]]

{{plt-stub}}