Publications
Detailed Information
Experiment on a Modular Program Analysis That Saves Memory : 메모리를 적게 쓰는 모듈라 프로그램 분석에 대한 실험
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 이광근. | - |
| dc.contributor.author | 김재황 | - |
| dc.date.accessioned | 2010-02-09T01:02:59Z | - |
| dc.date.available | 2010-02-09T01:02:59Z | - |
| dc.date.copyright | 2006. | - |
| dc.date.issued | 2006 | - |
| dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049322 | eng |
| dc.identifier.uri | https://hdl.handle.net/10371/52597 | - |
| dc.description | Thesis(master`s) --서울대학교 대학원 :전기. 컴퓨터공학부,2006. | en |
| dc.format.extent | 36 장 | en |
| dc.language.iso | en | en |
| dc.publisher | 서울대학교 대학원 | en |
| dc.subject | 고정점 | en |
| dc.subject | fixpoint | en |
| dc.subject | 메모리 | en |
| dc.subject | memory | en |
| dc.subject | 모듈라 분석 | en |
| dc.subject | modular analysis | en |
| dc.subject | 프로그램 분석 | en |
| dc.subject | program analysis | en |
| dc.subject | 요약 해석 | en |
| dc.subject | abstract interpretation | en |
| dc.title | Experiment on a Modular Program Analysis That Saves Memory | en |
| dc.title.alternative | 메모리를 적게 쓰는 모듈라 프로그램 분석에 대한 실험 | 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.