programming without errors
"How to write correct programs and know it",
SIGPLAN, 10, 6, June 1975, pp. 363-377.
|363 ;;Quote: faith in a program depends on the original thought processes; any error undermines this faith|
|363 ;;Quote: professional programmers can consistently write error-free programs; errors will be rare
ThesaHelp: references m-o (268 items)
Topic: programming without errors (28 items)