TY - BOOK
T1 - Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study
AU - Kruseman Aretz, F.E.J.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
M3 - Report
T3 - Computer science reports
BT - Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -