Assertion (computing) - History

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:

    In history as in human life, regret does not bring back a lost moment and a thousand years will not recover something lost in a single hour.
    Stefan Zweig (18811942)

    If man is reduced to being nothing but a character in history, he has no other choice but to subside into the sound and fury of a completely irrational history or to endow history with the form of human reason.
    Albert Camus (1913–1960)

    The only history is a mere question of one’s struggle inside oneself. But that is the joy of it. One need neither discover Americas nor conquer nations, and yet one has as great a work as Columbus or Alexander, to do.
    —D.H. (David Herbert)