\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[english]{babel}
+\usepackage{lmodern}
\usepackage{listings}
\usepackage{hyperref}
are private to a loop body, i.e.\ written first, then read.}
\item[loop normalization]{is a loop transformation that changes
- the loop initial increment value or the loop range to enforce certain values, generally
- 1.}
+ the loop initial increment value or the loop range to enforce certain values, generally~1.}
\item[iteration clamping]{is a loop transformation that extends
the loop range but guards the loop body with the former range.}