A method for static scheduling of dynamic control programsAutomatic generation of data parallel codeCode generation in automatic parallelizersSpace-time transformation of while-loops using speculative execution