ThesaHelp: references tz
Topic: constructing proof and program together
Topic: decision table
 
Reference
Turing, A.M.,
"Checking a large routine",
Report of a Conference on High Speed Automatic CalculatingMachines, University Mathematical Laboratory, Cambridge University, Great Britain, June 1949, issued January 1950, pp. 6768b.
Google
Quotations
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

Related Topics
ThesaHelp: references tz (309 items)
Topic: constructing proof and program together (22 items)
Topic: decision table (29 items)
