A powerful strategy for deriving efficient programs by transformation
Alberto Pettorossi · 1984
We present a method for deriving efficient iterative programs by transformation from recursive equation specifications. It consists of two phases: i) the transformation of general recursive programs into linear recursive ones, and ii) the transformation of linear recursive programs into iterative ones.