Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Term rewriting and programming paradigms

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

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.

*Applied Mathematics > Computer Science
*Wolfram Technology > Programming