학위논문(박사) - 한국과학기술원 : 전산학과, 2010.08, [ vi, 78 p. ]
C language; cycle elimination; pointer analysis; program analysis; binary decision diagram; 이진 의사결정 다이어그램; C 언어; 사이클 제거 기법; 포인터 분석; 프로그램 분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.