Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 이욱세 | - |
dc.date.accessioned | 2019-08-12T04:24:02Z | - |
dc.date.available | 2019-08-12T04:24:02Z | - |
dc.date.issued | 2006-09 | - |
dc.identifier.citation | 프로그래밍언어논문지, v. 20, No. 1, Page. 39 - 48 | en_US |
dc.identifier.issn | 1975-5961 | - |
dc.identifier.uri | http://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE01075380&language=ko_KR | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/108461 | - |
dc.description.abstract | 힙 메모리에 대한 프로그램 분석은 그 난해성으로 인해 오랫동안 뚜렷한 연구 성과가 없다가 최근 독보적인 연구들로 다시 관심이 집중되기 시작했다. 본 동향 분석은 현존하는 힙 메모리 분석들을 메모리 객체들을 요약하는 방법들로 분류하여 설명한다. 특히, 출생지 기반 분석, 접근경로 기반 분석, 모양분석, 분리논리의 루프불변식 유추 엔진 등을 설명한다. 본 조사를 통하여 연구자들이 새로이 힙 메모리 연구를 시작하는데 도움이 되고자 한다. | en_US |
dc.language.iso | ko_KR | en_US |
dc.publisher | 한국정보과학회 프로그래밍언어연구회 | en_US |
dc.title | 힙 메모리 분석 및 검증의 연구 동향 | en_US |
dc.title.alternative | A Survey of Heap-Memory Analyses and Verifications | en_US |
dc.type | Article | en_US |
dc.relation.journal | 한국정보과학회 프로그래밍언어논문지 | - |
dc.contributor.googleauthor | 이욱세 | - |
dc.relation.code | 2012210451 | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF ENGINEERING SCIENCES[E] | - |
dc.sector.department | DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING | - |
dc.identifier.pid | oukseh | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.