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.
Validity and Correctness Before the OS: the Case of LEO I and LEO II / R. Arif, E. Mori, G. Primiero (PHILOSOPHICAL STUDIES SERIES). - In: Reflections on Programming Systems : Historical and Philosophical Aspects / [a cura di] L. De Mol, G. Primiero. - [s.l] : Springer Verlag, 2018. - ISBN 9783319972251. - pp. 15-47 [10.1007/978-3-319-97226-8_2]
Validity and Correctness Before the OS: the Case of LEO I and LEO II
G. Primiero
2018
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
Reflections+on+Programming+Systems_CHAPTER.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
178.94 kB
Formato
Adobe PDF
|
178.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.