JanS
Grünschnabel
Dabei seit: 17.01.2009
Beiträge: 6
|
|
1
{true[x<--5]}x=5{x=5}
---------------------------------
{x=5}x=5{true}
2
{x=5[res<--x*x-6]}res=x*x-6{res=19}
------------------------------------------------------
{res=5*5-6}res=x*x-6{res=19
3
{res=4[res<--res mod 5]}res=res mod 5{res=4}
-------------------------------------------------------------------
{res mod 5=4}res mod 5{res =4}
ist das der sinn und zweck des hoare kalküls?
|
|