DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Yi, Kwang-Keun | - |
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | Kim, Jung-Taek | - |
dc.contributor.author | 김정택 | - |
dc.date.accessioned | 2011-12-13T05:59:37Z | - |
dc.date.available | 2011-12-13T05:59:37Z | - |
dc.date.issued | 1999 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=150934&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34312 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1999.2, [ 56 p. ] | - |
dc.description.abstract | ML``s exception handling makes it possible to describe exceptional execution flows conveniently. Sometimes, current implementation of exception handling introduce unnecessary overhead. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into variant of continuation-passing style(CPS), replacing handle and raise expressions by continuation-catching and throwing expressions, respectively. CPS-transforming every expression, however, introduces a new cost. We therefore use an exception analysis to transform expressions selectively: if an expression is statically determined to involve exceptions then it is CPS-transformed; otherwise, it is left in direct style. In this article, we formalize this selective CPS transformation, prove its correctness, and present early experimental data indicating its effect on ML programs. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | ML | - |
dc.subject | Exception | - |
dc.subject | CPS 변환 | - |
dc.subject | 예외상황 | - |
dc.subject | CPS transformation | - |
dc.title | Reducing the overhead of ML exceptions by selective CPS transformation | - |
dc.title.alternative | 선택적인 CPS 변환에 의한 ML의 예외상황 실행속도의 개선 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 150934/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000973160 | - |
dc.contributor.localauthor | Yi, Kwang-Keun | - |
dc.contributor.localauthor | 이광근 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.