발행물
컨퍼런스
한국정보과학회가을학술발표회
2006
,
코드삽입을 이용한 힙사용량 분석기
Asian Logic Conference
2005
techniques for verifying prolog implementations
4th APIS on IT 2005
hereditary harrop formulas for logicweb
Software Engineering Research and Practice
Experiments on Mutual Dependence between Class Analysis and Exception Analysis
7th Korea-Russia International Symposium on Science and Technology
2003
Constructing Control Flow Graph that accounts for Exception Induced Control Flows for Java