Zählschleifen und Invarianten

Eingabe: Feld von Zahlen x[0 .. n-1]

Zahl s := 0;

// Invariante: s = x[0] + .. + x[i-1]
für ( Zahl i von 0 bis n-1 ) {
    s := s + x[i];
}

Ausgabe s;



Johannes Waldmann 2008-01-28