constructing proof and program together
"Checking a large routine",
Report of a Conference on High Speed Automatic Calculating-Machines, University Mathematical Laboratory, Cambridge University, Great Britain, June 1949, issued January 1950, pp. 67-68b.
|67 ;;Quote: a programmer should make assertions that imply a correct routine; then checking the assertions checks the routine|
|68 ;;Quote: assist a program checker with a table of assertions for each state of the machine with restrictions on the induction variables, and the next states
ThesaHelp: references t-z (309 items)
Topic: constructing proof and program together (22 items)
Topic: decision table (29 items)