DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이광근 | - |
dc.contributor.advisor | Yi, Kwang-Keun | - |
dc.contributor.author | 류석영 | - |
dc.contributor.author | Ryu, Suk-Young | - |
dc.date.accessioned | 2011-12-13T05:57:35Z | - |
dc.date.available | 2011-12-13T05:57:35Z | - |
dc.date.issued | 1996 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=108809&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34179 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1996.8, [ iii, 45 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 함수 흐름도 분석 | - |
dc.subject | 처리되지 않는 예외 상황 | - |
dc.subject | 예외 상황 관리 | - |
dc.subject | Standard ML | - |
dc.subject | 타잎 유추 | - |
dc.subject | Type inference | - |
dc.subject | Call-graph analysis | - |
dc.subject | Uncaught exception | - |
dc.subject | Exception handling | - |
dc.subject | Standard ML | - |
dc.title | Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 | - |
dc.title.alternative | Estimating uncaught exceptions in standard ML programs from type-based equations | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 108809/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000953176 | - |
dc.contributor.localauthor | 이광근 | - |
dc.contributor.localauthor | Yi, Kwang-Keun | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.