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”
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”
On November 29th, 2016 LEO Computer Society will unveil a plaque commemorating LEO I on the 65th anniversary of its first business routine run in Lyons Walk, Olympia, London. The location is close to the former location of Cadby Hall, the major office and factory complex in Hammersmith, London, which was the headquarters of J. Lyons & Co and LEO’s first home.