Browse

요약해석 고정점에 대한 루프와 배열의 정교화 : 분석기 스패로우를 중심으로

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.
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Electrical and Computer Engineering (전기·정보공학부)Theses (Master's Degree_전기·정보공학부)
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse