Term rewriting and programming paradigms -- from Wolfram Library Archive

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
	Wolfram Technology > Programming

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how »