Things are tough right now ...

They're tough for everyone :( But when coronavirus hit here in the UK, the museum had to close its doors to the public, and we lost practically all our income overnight.

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

Stay safe, stay at home! There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

 Home > LEO Computers > LEOPEDIA > Articles, Reviews and Other Papers > Validity & Correctnes ... e of LEO I and LEO II
 

Validity & Correctness before the OS: the case of LEO I and LEO II

Paper presented by Elisabetta Mori at the Alan Turing Institute, October 2017, London and at the CNAM Conservatoire national des arts et métie, 20th October 2017, Paris.


Subsequently published in Reflections on Programming Systems: Historical and Philosophical Aspects (2018), co-authored by Rabia Arif and Guiseppe Primiero, edited by Liesbeth de Mol and Giuseppe Primiero, Springer.

Please Note: This item is not in our collection and is included here for signposting purposes only.

Date : October 2017

This exhibit has a reference ID of CH54503. Please quote this reference ID in any communication with the Centre for Computing History.
 

Validity & Correctness before the OS: the case of LEO I and LEO II

Click on the Images For Detail






Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum