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

Research output: Book/ReportReportAcademic

164 Downloads (Pure)

Abstract

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.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages58
Publication statusPublished - 2010

Publication series

NameComputer science reports
Volume1002
ISSN (Print)0926-4515

Fingerprint

Dive into the research topics of 'Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study'. Together they form a unique fingerprint.

Cite this