 |
|
|
|
|
 |
|
|
Term rewriting and programming paradigms
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
| Department: | Kernel Technology |
|
|
|
|
|
|
| Mathematics with Vision: Proceedings of the First International Mathematica Symposium |
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
For the newest resources, visit Wolfram Repositories and Archives »
