CHILL 프로그램의 범위진단 알고리즘 = An Algorithm of Range Check for CHILL Programming Language

다국어 초록 (Multilingual Abstract)

According to the result the software engineering, the faster finding and correcting the errors, the better for economic. Although the debugger is a very strong and essential tool for correcting errors is not useful for an incorrect program that have not been detected the error. To compensate this defect of the debugger, the static analyzing method, which analyzes before of at the time when it is compiled, is mainly used. CHILL programming language support range types to restrict the value they can have. Since range checking requires heavy overhead, almost all languages, include CHILL, does not check that the data of range type have an appropriate value. In this paper, we propose an algorithm for static range check. The algorithm analyses value range in five categories: initialization statement, assignment statement, parameter passing, array index, and DO FOR statement.