학위논문(박사) - 한국과학기술원 : 전산학전공, 2009.2, [ viii, 91 p. ]
program analysis; pointer analysis; modular analysis; strong update; type system; 프로그램 분석; 포인터 분석; 모듈라 분석; 강한 갱신; 타입시스템; program analysis; pointer analysis; modular analysis; strong update; type system; 프로그램 분석; 포인터 분석; 모듈라 분석; 강한 갱신; 타입시스템
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.