may be considered to be the second edition of the author's 1988 book, . It is, however, a completely new work that subsumes the material of the 1988 publication. This book is the third volume in the series . This series has been designed to provide a complete mathematical theory of transformations that can be used to automatically change a sequential program containing FORTRAN-like loops into an equivalent parallel form. In , the author extends the model to a program consisting of loops and assignment statements, where the loops need not be sequentially nested and are allowed to have arbitrary strides. In the context of such a program, the author studies, in detail, dependence between statements of the program caused by program variables that are elements of arrays. is directed toward graduate and undergraduate students, and professional writers of restructuring compilers. The prerequisite for the book consists of some knowledge of programming languages, and familiarity with calculus and graph theory. No knowledge of linear programming is required. weiterlesen