Hvernig er vinnupallur færður fimm metra til hliðar? Bátnum er bara siglt fimm metra eftir síkinu.

Það er búin að vera mikil umræða um BSE (kúariðu) hér á meginlandinu undanfarið. Umræðan kemur upp á ótrúlegustu stöðum. Hér á eftir birtist hluti af lausn kunningja míns á heimadæmi í Semantics of Computation.

Höfum gefna forritssetningu (statement) S. Hún samanstendur af gildisveitingu (assignment) A og while-lykkju W. Látum {B} vera forskilyrði A og {C} vera eftirskilyrði A. Látum {C} vera forskilyrði W og {E} vera eftirskilyrði W. For- og eftirskilyrði S sjást á eftirfarandi mynd.

{B} A {C} , {C} W {E}

{B} S {E}