Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique

Alberto Pettorossi, Rod M. Burstall. Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique. Acta Informatica, 18:181-206, 1982.

Abstract

Abstract is missing.