History
The assertional method for proving correctness of programs was advocated by Alan Turing. In a talk "Checking a Large Routine" at Cambridge, June 24, 1950 Turing suggested: "How can one check a large routine in the sense of making sure that it's right? In order that the man who checks may not have too difficult a task, the programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole program easily follows."
Read more about this topic: Assertion (computing)
Famous quotes containing the word history:
“It is remarkable how closely the history of the apple tree is connected with that of man.”
—Henry David Thoreau (1817–1862)
“Spain is an overflow of sombreness ... a strong and threatening tide of history meets you at the frontier.”
—Wyndham Lewis (1882–1957)
“No event in American history is more misunderstood than the Vietnam War. It was misreported then, and it is misremembered now.”
—Richard M. Nixon (b. 1913)