jjryu 2013. 7. 22. 01:38

semantic analysis


the maintenance of symbol tables (also called environments) mapping identifiers to their types and locations

As the declarations of types, variables, and functions are processed, these identifiers are bound to “meanings” in the symbol tables. When uses (nondefining occurrences) of identifiers are found, they are looked up in the symbol tables.


scope

visibility

스택


local variable


변수 참조의 해결

타입 참조의 해결

타입 정의 체크