Validity and Correctness Before the OS: the Case of LEO I and LEO II

, &
In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 15-47 (2018)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-97226-8_2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Framework for Validating Information Systems Research Based on a Pluralist Account of Truth and Correctness.John Mingers & Craig Standing - unknown
Engel on doxastic correctness.Conor McHugh - 2017 - Synthese 194 (5):1451-1462.
Drawing Lessons from Case Studies by Enhancing Comparability.Attilia Ruzzene - 2012 - Philosophy of the Social Sciences 42 (1):99-120.
Belief and correctness.Davide Fassio - 2012 - Dissertation,
Two Schools of Legal Idealism: A Positivist Introduction.Tony Ward - 2006 - Ratio Juris 19 (2):127-140.
Zero-one laws for modal logic (vol 69, pg 157, 1994).Joseph Y. Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):281-283.
Zero-one laws for modal logic.Jospeh Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):157-193.
Zero-one laws for modal logic.Joseph Y. Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):157-193.
Legal Certainty and Correctness.Robert Alexy - 2015 - Ratio Juris 28 (4):441-451.
Paulo Freire and political correctness.Peter Roberts - 1997 - Educational Philosophy and Theory 29 (2):83-101.
Paulo Freire and political correctness.Peter Roberts - 1997 - Educational Philosophy and Theory 29 (2):83–101.
Logische Gültigkeit umgangssprachlicher Argumente Zur Logik der Umgangssprache.Timm Lampert - 2017 - Zeitschrift für Philosophische Forschung 71 (1):117-122.
Belief, Correctness and normativity.Davide Fassio - 2011 - Logique Et Analyse 54 (216):471.
Dilemmas of Political Correctness.Dan Moller - 2016 - Journal of Practical Ethics 4 (1).
Validity and Correctness in Kelsen’s Theory of Legal Interpretation.José Cabra Apalategui - 2017 - In John McGarry, Ian Bryan & Peter Langford (eds.), Kelsenian Legal Science and the Nature of Law. Springer Verlag.

Analytics

Added to PP
2019-01-28

Downloads
9 (#1,228,347)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Primiero
Università degli Studi di Milano

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references