Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법Estimating uncaught exceptions in standard ML programs from type-based equations
- Advisors
- 이광근researcher; Yi, Kwang-Keunresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1996
- Identifier
- 108809/325007 / 000953176
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1996.8, [ iii, 45 p. ]
- Keywords
함수 흐름도 분석; 처리되지 않는 예외 상황; 예외 상황 관리; Standard ML; 타잎 유추; Type inference; Call-graph analysis; Uncaught exception; Exception handling; Standard ML
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.