On the design of two small batch operating systems 1965 - 1970

This paper describes the design considerations and decisions for two small batch operating systems, called MICRO and MILLI, for the Electrologica X8, a Dutch computer delivered from 1965 onwards. Their sole tasks were to run sequences of ALGOL 60 programs, thus transforming the X8 into an ALGOL 60 computer. They were developed in order to increase the efficient use of the hardware (MICRO) and to reduce waiting times for ALGOL 60 programs with small demands (MILLI). The work described here was carried out mainly by one person, namely the author. The paper is interwoven with some personal history, describing a.o. the background and the context in which this work was carried out

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

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

On deriving a LISP program from its specification

AbstractThe design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full