한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
- /
- Pages.586-589
- /
- 2006
- /
- 1598-5164(pISSN)
프로그램 합성 관점에서 지연 함수형 언어의 예외처리 기법
Exception Handling Technique in Lazy Functional Language from the Viewpoint of Program Synthesis
- Lee, Dong-Ju (Dept. of Computer Engineering, Pusan National University) ;
- Woo, Gyun (Dept. of Computer Engineering, Pusan National University)
- 발행 : 2006.10.20
초록
순수 함수형 언어에서 예외처리를 구현하는 것은 매우 까다로운 문제이다. 지연계산, 참조투명성과 같은 주요 특징은 예외 처리와 상반된 성질을 가지는 때문이다. 예외의 처리순서는 계산순서와 관계가 있고, 예외의 발생순서는 참조투명성과 밀접한 관계가 있다. 본 논문은 현재 하스켈(Haskell)에서 구현된 예외처리 방법의 분석을 통해, 프로그램 수행 시 효율적인 예외처리 방법에 대해서 제시한다. 합성된 프로그램에서 예외 발생할 때 예외가 전달되는 것을 사전에 차단하는 방법을 이용한다. 실제 예외가 발생한 프로그램을 작성하고, 프로파일링을 통하여 이 방법의 효율성을 점검한다.
키워드