| 
|
Quote: a program can be wrong only because the customer wanted a different function to be calculated
topics >
all references >
references sa-sz >
Topic:
program proving is infeasible
Topic:
specification errors
Quotation Skeleton
Wrong. A program may be correct, robust and … calculated. … No compiler can be expected to report errors … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)