SYSTEM FOR COMPILING A SOURCE PROGRAM BY ANALYZING A SUBSCCRIPT OF AN ARRAY INCLUDED IN A LOOP PROCESSING OF A COMPUTER

An induction variable contained in a definition formula for a variable in a loop is analyzed for a source program to be compiled in order to optimize the execution of the program. The induction variable is represented by a standard form expressed by a value (initial value) in a first interation of the loop and a value (increment) which is incremented for each iteration of the loop, and a subscript in an array in the loop is represented by linear coupling to the standard form. Whether the subscript assumes the same value in one or more iterations of the loop for a pair of arrays in the loop is checked to analyze the independency and dependency of the arrays in the loop.