Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study

Onderzoeksoutput: Boek/rapportRapportAcademic

98 Downloads (Pure)

Samenvatting

Some time ago I decided to write an emulator for a Dutch computer from the sixties of the previous century, the Electrologica X8, in order to be able to run its ALGOL 60 implementation and to do some measurements with it. That emulator was written in (standard ISO) Pascal.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's58
StatusGepubliceerd - 2010

Publicatie series

NaamComputer science reports
Volume1002
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study'. Samen vormen ze een unieke vingerafdruk.

Citeer dit