Publications
Detailed Information
프로그램 분석에서 넓히기(widening)로 인한 정확도 저하를 보완하는 할일하기(worklist) 알고리즘 : (The)Modified worklist algorithm to improve the accuracy downed by widening
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 이광근. | - |
| dc.contributor.author | 이상우 | - |
| dc.date.accessioned | 2010-02-09T01:01:47Z | - |
| dc.date.available | 2010-02-09T01:01:47Z | - |
| dc.date.copyright | 2006. | - |
| dc.date.issued | 2006 | - |
| dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049352 | kog |
| dc.identifier.uri | https://hdl.handle.net/10371/52575 | - |
| dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2006. | ko |
| dc.format.extent | iii, 26 장 | ko |
| dc.language.iso | ko | ko |
| dc.publisher | 서울대학교 대학원 | ko |
| dc.subject | 넓히기(widening) | ko |
| dc.subject | widening | ko |
| dc.subject | 할일하기(worklist) 알고리즘 | ko |
| dc.subject | worklist algorithm | ko |
| dc.subject | 프로그램 정적 분석(program static analysis) | ko |
| dc.subject | program static analysis | ko |
| dc.title | 프로그램 분석에서 넓히기(widening)로 인한 정확도 저하를 보완하는 할일하기(worklist) 알고리즘 | ko |
| dc.title.alternative | (The)Modified worklist algorithm to improve the accuracy downed by widening | ko |
| dc.type | Thesis | - |
| dc.contributor.department | 전기. 컴퓨터공학부 | - |
| dc.description.degree | Master | ko |
- 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.