Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.评价结果

评估详情