학위논문(박사) - 한국과학기술원 : 전산학전공, 2006.8, [ vi, 74 p. ]
Formal semantics; LL parsing; LR parsing; Formal languages; Abstract interpretation; 요약해석; 형식의미론; LL 구문분석; LR 구문분석; 형식언어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.