Regel: Verzweigung

{ V und       B } P { N }, 
{ V und nicht B } Q { N } 
--------------------------
{V} if B then P else Q {N}

Beispiel:

{ } 
if x < y then z = x else z = y 
{ z = min(x,y) }



Johannes Waldmann 2006-06-26