ThesaHelp: references sa-sz
Topic: bugs
Topic: program proving is infeasible
Topic: specification errors
| |
Reference
Scowen, R.S., Ciechanowicz, Z.J.,
"Seven sorts of programs ",
SIGPLAN , 17, 3, pp. 74-79 , March 1982.
Google
Subtopic: Quote: programs can be nonsense, illegal, almost working, fragile, suspicious, wrong, or correct
76 ;;Quote: a program can be wrong only because the customer wanted a different function to be calculated
|
Related Topics
ThesaHelp: references sa-sz (237 items)
Topic: bugs (65 items)
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)
|