Publications
Detailed Information
요약해석 고정점에 대한 루프와 배열의 정교화 : 분석기 스패로우를 중심으로
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- 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.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.