TRANSFORMATION OF POLYNOMIAL EVALUATION TO A PIPELINE VIA HORNER RULE

Authors
HARRISON PG WHILE RL
Citation
Pg. Harrison et Rl. While, TRANSFORMATION OF POLYNOMIAL EVALUATION TO A PIPELINE VIA HORNER RULE, Science of computer programming, 24(1), 1995, pp. 83-95
Citations number
10
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
Science of computer programming → ACNP
ISSN journal
01676423
Volume
24
Issue
1
Year of publication
1995
Pages
83 - 95
Database
ISI
SICI code
0167-6423(1995)24:1<83:TOPETA>2.0.ZU;2-Q
Abstract
We apply algebraic transformation techniques to synthesise Horner's ru le for polynomial evaluation. Horner's rule is then transformed into a pipeline by the application of further axioms. The syntheses demonstr ate the power of the algebraic style, in which inductive proof is repl aced by constructive unfolding and folding of standard higher-order fu nctions defined on lists.