학위논문(박사) - 한국과학기술원 : 전산학과, 2011., [ v, 74 p. ]
abstract interpretation; string analysis; 푸시다운 오토마타; 문맥자유 언어; 요약 해석; 문자열 분석; pushdown automata; context-free languages
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.