| 
|
QuoteRef: turiAM6_1949
topics >
all references >
ThesaHelp:
references t-z
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 Calculating-Machines, University Mathematical Laboratory, Cambridge University, Great Britain, June 1949, issued January 1950, pp. 67-68b. Google
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)