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:
“Universal history is the history of a few metaphors.”
—Jorge Luis Borges (1899–1986)
“The history of medicine is the history of the unusual.”
—Robert M. Fresco, and Jack Arnold. Prof. Gerald Deemer (Leo G. Carroll)
“The history of American politics is littered with bodies of people who took so pure a position that they had no clout at all.”
—Ben C. Bradlee (b. 1921)