✦ LIBER ✦

Term Rewriting with Operator Evaluation Strategies

✍ Scribed by Steven Eker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typed generic traversal with term rewrit

✍ Ralf Lämmel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 726 KB

On Term-Graph Rewrite Strategies

✍ Rachid Echahed 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 281 KB

A Rewriting Machine and Optimization of

✍ A.A. Letichevskii; V.V. Khomenko 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 47 KB

Term rewriting for normalization by eval

✍ Ulrich Berger; Matthias Eberl; Helmut Schwichtenberg 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Building Interpreters with Rewriting Str

✍ Eelco Dolstra; Eelco Visser 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Term-rewriting systems with rule priorit

✍ J.C.M. Baeten; J.A. Bergstra; J.W. Klop; W.P. Weijland 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 463 KB