Browse

Parametrized summary-based static analysis for detecting memory leaks and code clones
메모리 누수와 유사 코드쌍 탐지를 위한 매개화된 프로시져 요약기반의 정적 분석

DC Field Value Language
dc.contributor.advisor이광근-
dc.contributor.author정영범-
dc.date.accessioned2019-07-10T04:11:52Z-
dc.date.available2019-07-10T04:11:52Z-
dc.date.issued2011-08-
dc.identifier.other000000031070-
dc.identifier.urihttps://hdl.handle.net/10371/158983-
dc.identifier.urihttp://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000031070ko_KR
dc.description학위논문 (박사)-- 서울대학교 대학원 : 전기. 컴퓨터공학부, 2011.8. 이광근.-
dc.format.extentviii, 108 p.-
dc.language.isoeng-
dc.publisher서울대학교 대학원-
dc.subject프로그래밍 언어-
dc.subject요약 해석-
dc.subject메모리 누수-
dc.subject유사 코드쌍-
dc.subject정적 분석-
dc.subject프로시져 요약-
dc.subjectProgramming Language-
dc.subjectAbstract Interpretation-
dc.subjectMemory Leaks-
dc.subjectCode Clones-
dc.subjectStatic Analysis-
dc.subjectProcedural Summary-
dc.titleParametrized summary-based static analysis for detecting memory leaks and code clones-
dc.title.alternative메모리 누수와 유사 코드쌍 탐지를 위한 매개화된 프로시져 요약기반의 정적 분석-
dc.typeThesis-
dc.typeDissertation-
dc.description.degreeDoctor-
dc.contributor.affiliation전기. 컴퓨터공학부-
dc.date.awarded2011-08-
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Computer Science and Engineering (컴퓨터공학부)Theses (Ph.D. / Sc.D._컴퓨터공학부)
Files in This Item:
There are no files associated with this item.
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse