발행물
컨퍼런스
한국정보과학회 영남지부
2001
,
예외분석과 클래스분석의 상호의존성
ACM
Granularity of Constraint-Based Analysis for Java
Interprocedural Exception Analysis for Java
한국정보과학회 프로그래밍언어연구회
2000
자바 언어를 위한 예외상황 분석 비교연구
한국정보과학회
자바의 예외 메커니즘