Publications
Detailed Information
C와 같은 프로그램을 위한 구간 도메인을 이용한 요약해석 : (An)Abstract interpretation with the interval domain for C-like programs
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 이광근.
- Issue Date
- 2006
- Publisher
- 서울대학교 대학원
- Keywords
- 명령형 프로그래밍 언어 ; Imperative Programming Language ; 요약해석 ; Abstract Interpretation ; 안전성 증명 ; Soundness Proof
- Description
- 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2006.
- Language
- English
- URI
- http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049349
https://hdl.handle.net/10371/52577
- 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.