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:
“History ... is, indeed, little more than the register of the crimes, follies, and misfortunes of mankind.
But what experience and history teach is this—that peoples and governments have never learned anything from history, or acted on principles deduced from it.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“Humankind has understood history as a series of battles because, to this day, it regards conflict as the central facet of life.”
—Anton Pavlovich Chekhov (1860–1904)
“Social history might be defined negatively as the history of a people with the politics left out.”
—G.M. (George Macaulay)