In addition to several minor improvements, the updated specification includes the following major additions: Easier programming of loop transformations: Simplifying the use of loop fusion ...

If the condition is never met, then the program loops infinitely. Consider this simple algorithm to count up in twos from one to a hundred: the variable ‘count’ is set to 1 the ‘while ...