Инвариант данного цикла:

//вычисляет сумму элементов //A[0],A[1], … A[n-1] для любого n>0 int j=0, sum=0;

***

while (j<n) { ***

sum+=A[j];

++j;

***

} // конец оператора while

***

Инвариант должен быть истинным изначально

Выполнение цикла должно сохранять инвариант

Из выполнения инварианта должна следовать правильность алгоритма

Цикл должен завершиться

Кодирование

Кодирование – это относительно небольшая часть жизненного цикла программного обеспечения

Кодирование заключается в переводе алгоритма на конкретный язык программирования с последующим исправлением синтаксических ошибок

Было бы неверным считать, кодирование и есть, собственно говоря, программирование.