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”

Reflections on Identity and Copy of Programs

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 problem of identity is a long-standing one in philosophy. In turn, it is a crucial one for the Philosophy of Computer Science, and in particular for answering the question ‘what is a program?’. Two major strands in the history of such conceptual investigation can be found. Continue reading “Reflections on Identity and Copy of Programs”

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.