=== Semantic analysis ===

== Introduction ==
{{http://deva.web.elte.hu/compilers/lectures/20161116/DSC_1001.JPG}}

== Symbol table ==
{{http://deva.web.elte.hu/compilers/lectures/20161116/DSC_1002.JPG}}
{{http://deva.web.elte.hu/compilers/lectures/20161116/DSC_1003.JPG}}
{{http://deva.web.elte.hu/compilers/lectures/20161116/DSC_1004.JPG}}
{{http://deva.web.elte.hu/compilers/lectures/20161116/DSC_1005.JPG}}

== Type checking with attributes ==

{{http://deva.web.elte.hu/compilers/lectures/20161123/DSC_1031.JPG}}
{{http://deva.web.elte.hu/compilers/lectures/20161123/DSC_1032.JPG}}
{{http://deva.web.elte.hu/compilers/lectures/20161123/DSC_1033.JPG}}