Fork me on GitHub
#meander
<
2020-03-13
>
timothypratley22:03:54

Any recommendations on good “term rewriting” literature?

jimmy22:03:38

Honestly I personally have found most of it to be super opaque. But "term rewriting and all that" is the big one.

noprompt22:03:35

I’ve read that one and Jimmy’s assessment is accurate. It’s dense. Most TR is heavily focused on building TRSs that terminate too which narrows the focus out of the realm of practicality oftentimes.

noprompt22:03:12

The Handbook of Automated Reasoning has a good article in it.

noprompt22:03:51

Look at the languages TXL, Stratego XT, and Maude.