FP/M definition programming
An abstract machine
and intermediate language for functional languages, used to implement Hope
. FP/M is an optimisation of the SECD machine
["The Compilation of FP/M Programs into Conventional Machine Code", A.J. Field, Imperial College, London, 1985].
["Functional Programming", A.J. Field & P.G. Harrison, A-W 1988].