Validity & Correctness Before the OS

Validity and Correctness Before the OS: the Case of LEO I and LEO II
Rabia Arif, Elisabetta Mori, Giuseppe Primiero
in
Reflections on Programming Systems. Historical and Philosophical Aspects
Edited by Liesbeth De Mol and Giuseppe Primiero
Springer, 2019

Efficient and reliable computing is based on validity and correctness. Techniques to ensure these essential features have been in place since the early days of computing. The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s. Continue reading “Validity & Correctness Before the OS”

Validity and Correctness in LEO I & 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 & 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.