Map
Index
Random
Help
th

QuoteRef: scowRS3_1982b

topics > all references > ThesaHelp: references sa-sz



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 up

76 ;;Quote: a program can be wrong only because the customer wanted a different function to be calculated


Related Topics up

ThesaHelp: references sa-sz (237 items)
Topic: bugs (65 items)
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)

Collected barberCB 3/82
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.