Termination detection in parallel loop nests with while loops. - Max Geigl; Martin Griebl; Christian Lengauer (Parallel Comput., 1999)