Article thumbnail

Transformation of polynomial evaluation to a pipeline via Horner's rule

By Peter G. Harrison and R.Lyndon While


AbstractWe apply algebraic transformation techniques to synthesise Horner's rule for polynomial evaluation. Horner's rule is then transformed into a pipeline by the application of further axioms. The syntheses demonstrate the power of the algebraic style, in which inductive proof is replaced by constructive unfolding and folding of standard higher-order functions defined on lists

Publisher: Published by Elsevier B.V.
Year: 1995
DOI identifier: 10.1016/0167-6423(94)00012-4
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.