I've often imagined what an awkward look I would get mentioning Hoare logic [1] to someone who hadn't seen it written. [1] http://en.wikipedia.org/wiki/Hoare_l

I've often imagined what an awkward look I would get mentioning Hoare logic [1] to someone who hadn't seen it written. [1] http://en.wikipedia.org/wiki/Hoare_logic http://en.wikipedia.org/wiki/Hoare_logic