Предлагается форма задания тела цикла в виде последовательности блоков, каждый из которых управляется только выборкой элементов массивов, используемых в последующих блоках. Доказывается эффективная представимость тела всякого цикла в этом виде, а также инвариантность числа блоков относительно функционально эквивалентных преобразований программ.
