Computing Publications

Publications Home » Transformation of polynomial eval...

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 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.