Оператор

   FOR v := beg TO end BY step DO statements END

эквивалентен следующему

   temp := end; v := beg;
   IF step > 0 THEN
      WHILE v <= temp DO statements; v := v + step END
   ELSE
      WHILE v >= temp DO statements; v := v + step END
   END

M>>Еще одно доказательство того, что LOOP — это инструкция, Оберону чуждая, привнесенная извне.

П>IF a DO EXIT END;    =     * a * * * * 
П>

П>

        LOOP
            IF TRUE THEN EXIT END;
        END

F>>for i := 1 to n
F>>     for j := 1 to m
F>>        sum = sum + a[i][j]
F>>

A>Ага, особенно если мы имели в виду цикл с шагом 2

for (int i = 0; i < n; ++i)
  for (int j = 0; j < m; ++j)

...в обероне вообще до LOOP докатимся, как выяснилось. Можно конечно это рассматривать как идеологически правильный мегарулез, но как-то не воодушевляет...

LOOP
  ...
  WHILE...
    ...
    REPEAT... (* много вложенных WHILE/REPEAT циклов *)
      ...
      WHILE...
        ...
        IF c THEN EXIT END; (* выход из всех циклов, на конец текущей LOOP-ной итерации *)
        ...          |
      END;           |
      ...            |
    UNTIL...;        |
    ...              |
  END;               |
  ...                |
END                  |
...---<--------------+

F>>for (int i = 0; i < n; ++i)
F>>  for (int j = 0; j < m; ++j)
F>>

A>Где ошибка?

for (int i = 0; i < n; ++i)
  for (int j = 0; j < m; ++i)

A>Ну вот и выход нашёлся

int step = (condition)? 1 : -1;

for (int i = start; (i < count && i >= 0); i += step)
{
    blah_blah_blah(i);
}

A>>Простому человеку тоже понятнее в граммах, но ювелиры измеряют почему-то в каратах

F>Может, на футы с милями перейдем? Что нам эти "юзерские" километры?