Распараллеливание рекуррентных циклов с условными операторами

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