Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2006.06b
  • /
  • Pages.397-399
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Error Handling Technique Using Arrows

애로우를 이용한 오류 처리 기법

  • Lee Dong-Ju (Dept. of Computer Engineering, Pusan National University) ;
  • Ji Jung-Hoon (Dept. of Computer Engineering, Pusan National University) ;
  • Jang Han-Il (Dept. of Computer Engineering, Pusan National University) ;
  • Woo Gyun (Dept. of Computer Engineering, Pusan National University)
  • 이동주 (부산대학교 컴퓨터공학과) ;
  • 지정훈 (부산대학교 컴퓨터공학과) ;
  • 장한일 (부산대학교 컴퓨터공학과) ;
  • 우균 (부산대학교 컴퓨터공학과)
  • Published : 2006.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

모나드의 일반화 버전인 애로우(Arrow)는 모나드에 비해 효율적이며, 프로그램 합성을 위한 직관적인 인터페이스를 제공한다. 여러 프로그램을 합성할 때 합성된 전체 프로그램의 오류 처리는 매우 중요한 문제이다. 각각의 프로그램에서 오류 처리를 일일이 기술하는 것은 매우 번거로우며 비효율적인 작업이기 때문이다. 본 논문에서는 애로우 인터페이스를 이용하는 프로그램을 합성할 때 효율적으로 오류를 처리하기 위한 방법을 제시한다. 모든 애로우 타입에 대하여 오류를 처리하기 위해 새로운 애로우를 정의하며 이를 프로그램 합성 단위로 이용하여 전체적인 프로그램의 오류를 처리한다. 또한 애로우를 이용한 타입 검사 프로그램을 통하여, 논문에서 제시한 오류 처리 기법을 적용하여 효율성을 평가한다.

Keywords