| Definition: | | 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]. |