Mathematica 9 is now available

Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Term rewriting and programming paradigms
Author

Roman Maeder
Organization: Wolfram Research, Inc.
Department: Kernel Technology
Journal / Anthology

Mathematics with Vision: Proceedings of the First International Mathematica Symposium
Year: 1995
Page range: 7-20
Description

A term-rewriting system lies at the basis of Mathematica's evaluator. We discuss the origins of term rewriting with its first two uses: equational reasoning and theorem proving in predicate calculus. Next, we show the connections between substitution and functional programming. Program transformations relating various programming styles conclude the article.
Subjects

*Applied Mathematics > Computer Science
*Mathematica Technology > Programming