Side bar: as far as I can tell Turing was the first to use the term "assertion" in the context of software testing. > How can one check a large routine in the

Side bar: as far as I can tell Turing was the first to use the term "assertion" in the context of software testing. > 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. https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-8 https://turingarchive.kings.cam.ac.uk/publications-lectures-...