✦ LIBER ✦

A Rewriting Semantics for Maude Strategies

✍ Scribed by Narciso Martí-Oliet; José Meseguer; Alberto Verdejo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Maude and Its Strategies for Defin

✍ Mercedes Hidalgo-Herrero; Alberto Verdejo; Yolanda Ortega-Mallén 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 386 KB

A Logic for Rewriting Strategies

✍ Richard B. Kieburtz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Logical Semantics for the Rewriting Calc

✍ Aaron Stump; Carsten Schürmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 252 KB

A compact fixpoint semantics for term re

✍ M. Alpuente; M. Comini; S. Escobar; M. Falaschi; J. Iborra 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 716 KB

Towards a Strategy Language for Maude

✍ Narciso Martí-Oliet; José Meseguer; Alberto Verdejo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 393 KB

A Rewriting Strategy for Protocol Verifi

✍ Monica Nesi; Giuseppina Rucci; Massimo Verdesca 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 947 KB