3 ms·
It sounds like you certainly know more about term rewriting than I do. Do you know of a decent introductory source? I'd like to get a gist of it, but the Pure s
by snprbob86 17y ago
It sounds like you certainly know more about term rewriting than I do. Do you know of a decent introductory source? I'd like to get a gist of it, but the Pure site seems to prefer reference/appendix style documentation. That stuff is great to have, but I'm looking for an litmus test for my interests.
- limmeau 17y agoThe Maude project [1] (and its documentation) may be of interest; they use term rewriting in a formal modeling and model-checking tool. There's an introductory course at [2]. 1. http://maude.cs.uiuc.edu/ http://maude.cs.uiuc.edu/ 2. http://heim.ifi.uio.no/~peterol/inf3230-lecturenotes.html http://heim.ifi.uio.no/~peterol/inf3230-lecturenotes.html
- 10ren 17y agoYou might start with wikipedia - it's surprisingly good for introductions to mathematical computer science ideas. http://en.wikipedia.org/wiki/Term_rewriting http://en.wikipedia.org/wiki/Term_rewriting The "see also" includes JIT compilation and lambda calculus, for some applications.
- mahmud 17y ago"Term rewriting and all that". It's not easy going, however; make sure your category theory and universal algebra are top-notch before touching the burgundy book.
- ambulatorybird 17y agoI can't add much to what others have already recommended, other than Functional Programming by Field and Harrison (out of print, I believe). It covers graph reduction, which I believe is a generalization of term rewriting.