인터벌을 이용한 데이터 흐름 분석 ( A Data Flow Analysis Using an Interval Concept )