Publications
Detailed Information
Parametrized summary-based static analysis for detecting memory leaks and code clones : 메모리 누수와 유사 코드쌍 탐지를 위한 매개화된 프로시져 요약기반의 정적 분석
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | 정영범 | - |
dc.date.accessioned | 2019-07-10T04:11:52Z | - |
dc.date.available | 2019-07-10T04:11:52Z | - |
dc.date.issued | 2011-08 | - |
dc.identifier.other | 000000031070 | - |
dc.identifier.uri | https://hdl.handle.net/10371/158983 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000031070 | ko_KR |
dc.description | 학위논문 (박사)-- 서울대학교 대학원 : 전기. 컴퓨터공학부, 2011.8. 이광근. | - |
dc.format.extent | viii, 108 p. | - |
dc.language.iso | eng | - |
dc.publisher | 서울대학교 대학원 | - |
dc.subject | 프로그래밍 언어 | - |
dc.subject | 요약 해석 | - |
dc.subject | 메모리 누수 | - |
dc.subject | 유사 코드쌍 | - |
dc.subject | 정적 분석 | - |
dc.subject | 프로시져 요약 | - |
dc.subject | Programming Language | - |
dc.subject | Abstract Interpretation | - |
dc.subject | Memory Leaks | - |
dc.subject | Code Clones | - |
dc.subject | Static Analysis | - |
dc.subject | Procedural Summary | - |
dc.title | Parametrized summary-based static analysis for detecting memory leaks and code clones | - |
dc.title.alternative | 메모리 누수와 유사 코드쌍 탐지를 위한 매개화된 프로시져 요약기반의 정적 분석 | - |
dc.type | Thesis | - |
dc.type | Dissertation | - |
dc.description.degree | Doctor | - |
dc.contributor.affiliation | 전기. 컴퓨터공학부 | - |
dc.date.awarded | 2011-08 | - |
- 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.