Zustandssemantik: https://books.google.de/books?id=ui...m&hl=de&pg=PA233#v=onepage&q=wp-Axiom&f=falsesteht wp?
Uuppps.... Ich bin mit dem Hoare-Kalkül auf dem falschen Dampfer gewesen.kann Wahr immer als Vorbedingung
Ne, eher vorwärts gerechnet.Da hast du dich wohl verkalküliert
Anhand von Beispielen wäre das gut zu erklären....
public static int addFifty ( int v ) {
int res = v + 50;
return res ;
}
Nicht nach dem Hoare-Kalklül => rückwärtsrechnen.... oder sollte ich besser rückwärtskalkülieren sagen?wie kommt man drauf
Du brauchst eine Nachbedingung. In Deinem Fall müsste man erstmal eine konstruieren, sagen wir mal, dass das Ergebnis <= Integer.MAX_VALUE sein muss.Was wäre hier die Schwächste Vorbedingung und wie kommt man drauf?
Ich weiß gar nicht, wie das hier geht :-okannst du mir kurz per PN schreiben bitte