AESOP home


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

Peter G. Harrison, R. Lyndon While

Journal Article
Science of Computer Programming
Volume 24
Issue 1
February, 1995
Elsevier Science Bv
DOI 10.1016/0167-6423(94)00012-4

We 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.

PDF of full publication (872.2 kilobytes)
(need help viewing PDF files?)

Information from