Browse
S-Space
College of Engineering/Engineering Practice School (공과대학/대학원)
Dept. of Electrical and Computer Engineering (전기·정보공학부)
Theses (Master's Degree_전기·정보공학부)
요약해석 고정점에 대한 루프와 배열의 정교화 : 분석기 스패로우를 중심으로
- Authors
- 이희종
- Advisor
- 이광근
- Issue Date
- 2008
- Publisher
- 서울대학교 대학원
- Keywords
- 정교화 ; refinement ; 요약해석 ; abstract interpretation ; 프로그램 분석 ; program analysis
- Description
- Thesis(masters) --서울대학교 대학원 :전기. 컴퓨터공학부 컴퓨터공학전공,2008.8.
- Language
- English
- URI
- http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000042212
https://hdl.handle.net/10371/44631
- Files in This Item: There are no files associated with this item.
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.
Seoul National University Library, 1 Gwanak-ro, Gwanak-gu, Seoul 08826, Korea
TEL: 02-880-5567
Email: s-space@snu.ac.kr
