대화적 환경을 위한 INCREMENTAL 자료 흐름 분석기의 설계와 구현에 관한 연구

소프트웨어 개발 단계에 있어서 프로그래머에게 프로그램에 대한 정보를 제공하고 간단한 프로그래밍 오류를 검출하기 위한 방법으로 최근에 자료 흐름 분석 기법이 사용되었다. 본 논문에서는 원시 프로그램에 작은 변화가 생길수 있는 대화적 환경에 유용할 수 있도록 Allen/Cocke Interval Analysis를 Incremental 형태로 변환하여 IDFA (Incremental Update Data Flow Analyzer)를 설계 구현 하였다.