type checking (1) 썸네일형 리스트형 4. Semantic Analysis Semantic Analysis는 의미론적 분석으로 문장에서 의미를 파악해 프로그램의 의미를 분석하여 맞는지 확인한다.그리고 결과적으로 abstract syntax tree를 intermediate representation(IR)로 변환한다.Semantic Analysis에서는 구조는 맞지만 identifier가 1번만 정의 되었는지, 상속 관계가 잘 되었는지, type이 잘 정의 되었는지 등을 확인한다. Symbol Table 식별자를 그들의 type과 location에 mapping시킨것이다.위와 같이 화살표를 통해서 표기를 하는데 식별자는 해당 type으로 묶여있다는 것을 나타낸다. ▪ Imperative Style 1개의 global environment를 가지고 table에 entry를 넣고.. 이전 1 다음
