Publications
Detailed Information
C와 같은 프로그램을 위한 구간 도메인을 이용한 요약해석 : (An)Abstract interpretation with the interval domain for C-like programs
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 이광근. | - |
| dc.contributor.author | 신재호 | - |
| dc.date.accessioned | 2010-02-09T01:01:52Z | - |
| dc.date.available | 2010-02-09T01:01:52Z | - |
| dc.date.copyright | 2006. | - |
| dc.date.issued | 2006 | - |
| dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049349 | eng |
| dc.identifier.uri | https://hdl.handle.net/10371/52577 | - |
| dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2006. | en |
| dc.format.extent | v, 69 leaves | en |
| dc.language.iso | en | en |
| dc.publisher | 서울대학교 대학원 | en |
| dc.subject | 명령형 프로그래밍 언어 | en |
| dc.subject | Imperative Programming Language | en |
| dc.subject | 요약해석 | en |
| dc.subject | Abstract Interpretation | en |
| dc.subject | 안전성 증명 | en |
| dc.subject | Soundness Proof | en |
| dc.title | C와 같은 프로그램을 위한 구간 도메인을 이용한 요약해석 | en |
| dc.title.alternative | (An)Abstract interpretation with the interval domain for C-like programs | en |
| dc.type | Thesis | - |
| dc.contributor.department | 전기. 컴퓨터공학부 | - |
| dc.description.degree | Master | en |
- Appears in Collections:
- 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.