narlo의 Devlog

12주차 symbol tables semantic analysis(의미분석) - scope관련 : 변수가 선언되기 전에 쓰였나? 두 번 정의됐나? - type관련 : 변수와 assign되는 값과 타입이 맞는가? 1. 한 lexical마다 한 symbol table 2. scope들은 계층구조를 가짐 local 구조 : hash table 사용 global 구조 : n-ary tree(계층구조) -> 포인터 유지 등의 비용때문에 트리 안쓰고 stack 씀 hierarchies of local tables 제일 마지막에 접근된 것이 바로 접근된다. type checking 타입 : 값의 범위, 어떤 조건을 만족하는지 타입을 선언하고(binding), 검사(checking) static vs dymanic c..

9주차 SDD(Syntax Directed Definition) 파싱 단계에서 의미있는 일을 할 수 있도록 semantic action을 적어놓음 파서 생성기(yacc)에서 주로 사용 lhs에 메모리가 있어 결과를 저장한다. $$, $1, $2, ... 이름은 rule local Listener style in Antlr(LL파서) Type Declaration 속성의 종류 synthesized attr - bottom up으로만 이루어진 - children에 의해 계산 inherited attr - parent, sibling에 의해 계산 AST(Abstract Syntax Tree) 파스트리에서불필요한 정보를 제거한형태 AST 만들기 1. 파싱단계에서 만들기 - LL : 유도할때 - LR : redu..