| 
|
Quote: debugging is testing programs on cases one hopes are typical, until it seems to work
topics >
all references >
references m-o >
Group:
debugging
Group:
program proving
Quotation Skeleton
2. [Given a mathematical science of computation] It should be possible almost to … it seems to work. This hope is frequently … proof should be checked by a computer program. … proofs [and check them by computer]. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: need a mathematical science of computation to prove that programs meet their specifications; check the proofs by computer
Group: debugging (10 topics, 325 quotes)
Group: program proving (10 topics, 310 quotes)