✦ LIBER ✦

A Core Language for Rewriting

✍ Scribed by Eelco Visser; Zine-el-Abidine Benaissa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compiling CIL rewriting language for mul

✍ Xinmin Tian; Dingxing Wang; Weimin Zheng; Meiming Shen; Cheng Li 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 695 KB

A kernel language for programmed rewriti

✍ Andrea Maggiolo-Schettini; Józef Winkowski 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

Generating priority rewrite systems for

✍ Irek Ulidowski; Shoji Yuen 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 839 KB

Rewriting of visibly pushdown languages

✍ A. Thomo; S. Venkatesh 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 461 KB

PMaude: Rewrite-based Specification Lang

✍ Gul Agha; José Meseguer; Koushik Sen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 444 KB

A core language for fuzzy answer set pro

✍ Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 593 KB