Semantic analysis (compilers): Difference between revisions
Content deleted Content added
adding a reference |
|||
| Line 1: | Line 1: | ||
'''Semantic analysis''' or '''context sensitive analysis''' is a process in [[compiler]] construction, usually after [[parsing]], to gather necessary semantic information from the [[source code]]. 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. |
'''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&printsec=frontcover#v=onepage&q=%22semantic%20analysis%22&f=false|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. |
||
== See also == |
== See also == |
||
Revision as of 21:46, 10 April 2019
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
- ^ 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.