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)
  • 이동주 (부산대학교 컴퓨터공학과) ;
  • 우균 (부산대학교 컴퓨터공학과)
  • Published : 2006.10.20

Abstract

순수 함수형 언어에서 예외처리를 구현하는 것은 매우 까다로운 문제이다. 지연계산, 참조투명성과 같은 주요 특징은 예외 처리와 상반된 성질을 가지는 때문이다. 예외의 처리순서는 계산순서와 관계가 있고, 예외의 발생순서는 참조투명성과 밀접한 관계가 있다. 본 논문은 현재 하스켈(Haskell)에서 구현된 예외처리 방법의 분석을 통해, 프로그램 수행 시 효율적인 예외처리 방법에 대해서 제시한다. 합성된 프로그램에서 예외 발생할 때 예외가 전달되는 것을 사전에 차단하는 방법을 이용한다. 실제 예외가 발생한 프로그램을 작성하고, 프로파일링을 통하여 이 방법의 효율성을 점검한다.

Keywords