An abstract machine and intermediate language for functional languages, used to implement Hope. FP/M is an optimisation of the SECD machine.