[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Hoare09

  1. C A Hoare
  2. retrospective: an axiomatic basis for computer programming
  3. Commun ACM V52n10(Oct 2009)pp30-32 [ 1562764.1562779 ]
  4. =HISTORY VERIFICATION PROGRAMMING LOGIC PROOFS TESTS HACKERS SPECIFICATIONS COSTS
  5. Looking back at [Hoare69] 40 years later. Compare [Hoare01]
  6. Expected to retire before research was complete and industry adopted methods.
  7. Surprised to find "assert" in C/C++.
  8. Didn't expect the new logics/mathematics that have been developed.
  9. Tests test the programmer not the program.
  10. Hackers have got industry interested in verification -- finally.
  11. Academic and industrial research should complement each other. One goes for the big ideals and the other for low hanging fruit.
  12. Reply [ Humelsine10 ] (letter).

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]