On the flight to the ISO C standards meeting this morning, I was reading this month’s issue of CACM, and found that Sir C.A.R. (Tony) Hoare wrote a nice piece called Retrospective: An Axiomatic Basis for Computer Programming. Hoare has long been a noted proponent of axioms and formal proofs of program correctness. In that [...]
Archive for October 26th, 2009
Hoare on Testing
Posted in Software Development on 2009-10-26 | 2 Comments »
