Validity and Correctness in LEO I and II

Abstract of the presentation at the roundtable What is a (computer) program? at the prelaunch of the project PROGRAMme in Paris, at the CNAM – Conservatoire national des arts et m├ętiers, on the 20th of October 2017.

The presentation is an historical reconstruction of the procedures to ensure validity and program correctness in the early examples of business computers: the focus of the talk is the hardware testing, data validation and program correctness techniques designed for LEO I and II in the UK during the 1950s. Continue reading “Validity and Correctness in LEO I and II”