학위논문(박사) - 한국과학기술원 : 전산학전공, 2007. 8, [ ix, 127 p. ]
Programming Language; Program Verification; Static Analysis; Abstract Interpretation; Hoare Logic; Backward Analysis; 프로그래밍 언어; 프로그램 검증; 정적 분석; 요약해석; 호어 로직; 역방향 분석; Programming Language; Program Verification; Static Analysis; Abstract Interpretation; Hoare Logic; Backward Analysis; 프로그래밍 언어; 프로그램 검증; 정적 분석; 요약해석; 호어 로직; 역방향 분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.