Jos Coenen's blog

Thursday, March 29, 2007

Ik was ze bijna vergeten de

The Manic Street Preachers

Zie deze schitterende site met pophistorie:

http://www.oosterlincknet.be/mnederlands.html

Helemaal vergeten, just kidding, nee nooit gweten (en wil ik het wel weten)
de fameuze Horae triples, zie: http://en.wikipedia.org/wiki/Hoare_logic

While rule for total correctness

$\frac { \{P \wedge B \wedge t = z \}\ S\ \{P \wedge t < z \} \ ,\ P \rightarrow t \geq 0} { \{P \}\ \textbf{while}\ B\ \textbf{do}\ S\ \textbf{done}\ \{\neg B \wedge P\} } \!$