Ng> A program traNsformatioN where a compositioN of two fuNctioNs is replaced by iN-liNiNg them aNd combiNiNg their bodies. E.g. f x = g (h x) ==> f x = g (2 * x) g x = x + 1 f x = 2 * x + 1 h x = 2 * x This has the beNeficial effect of reduciNg the Number of fuNctioN calls. It caN be especially useful where the iNtermediate result is a large data structure which caN be elimiNated. See also vertical loop combiNatioN. (1994-12-05)