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
pp.83–95
February, 1995
Elsevier Science Bv
DOI 10.1016/0167-6423(94)00012-4
Abstract

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.

Keywords
AESOP
PDF of full publication (872 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.