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”

Paper presented @ HaPoP3

Hapop

A paper titled “Data Validation: a historical comparative study from the business computing industry” was presented by Rabia Arif and Giuseppe Primiero at the Third Workshop on the History and Philosophy of Programming, held at CNAM in Paris on 25th of June 2016. This paper represents the first results in the latest installment of the David Caminer Postgraduate Scholarship in Business Computing.