Validity and Correctness Before the OS: the Case of LEO I and LEO II
Rabia Arif, Elisabetta Mori, Giuseppe Primiero
Reflections on Programming Systems. Historical and Philosophical Aspects
Edited by Liesbeth De Mol and Giuseppe Primiero
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.
British computing industry · LEO computers · Early computers ·
Data validation · Program correctness · Hardware checking