[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- C A Hoare
- retrospective: an axiomatic basis for computer programming
- Commun ACM V52n10(Oct 2009)pp30-32
[ 1562764.1562779 ]
- =HISTORY VERIFICATION PROGRAMMING LOGIC PROOFS TESTS HACKERS SPECIFICATIONS COSTS
- Looking back at
40 years later.
- Expected to retire before research was complete and industry adopted methods.
- Surprised to find "assert" in C/C++.
- Didn't expect the new logics/mathematics that have been developed.
- Tests test the programmer not the program.
- Hackers have got industry interested in verification -- finally.
- Academic and industrial research should complement each other. One goes for the big ideals and the other for low hanging fruit.
[ Humelsine10 ]
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]