AN EXECUTABLE SPECIFICATION OF THE HDG-MACHINE
David Lester, Geoffrey Burn · International Journal of High Speed Computing · 1993
This paper serves a dual purpose. Firstly it is a specification of a distributed memory parallel reduction machine to evaluate lazy functional languages. Being a Mirandal script, it is also an executable specification. Secondly, it is an example of a large functional program (of the order of 2000 lines) which performs a nontrivial task, simulating a parallel machine.The program has been written using the “inverse comment convention” [19], where all lines of program text start with a > symbol. In fact, the paper that you are leading is the program, and so you are assured that the text you are reading is the text we have executed.