함수언어의 스트릭트성 분석을 위한 고정점 탐색 방법의 생성

초록

함수언어의 스트릭트성 분석 과정에서 추상해석을 통해서 재귀함수에 대한 정확한 스트릭성 정보를 찾는 방법은 재귀함수의 인수에 대하여 지수적인 탐색공간을 보인다. 따라서 이의 개선에 관한 연구가 진행되어 왔으며, 그 중 대표적인 것이 경계 알고리즘이다. 그러나, 경계 알고리즘도 사용하는 격자의 크기가 인수의 증가에 따라 빠른 속도로 커지는 경향을 보인다. 본 연구에서는 추상함수 생성시 함수정의 분석을 통하여 구성되는 유한격자를 부분유한격자로 구분하여 탐색공간을 줄임으로써 스트릭트성 분석의 효율성을 증대시키는 방안을 제안한다.