Towards a strategy language for Maude

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Research output: Contribution to journalArticlepeer-review


We describe a first proposal for a strategy language for Maude, to control the rewriting process and to be used at the object level instead of at the metalevel. We also describe a prototype implementation built over Full Maude using the metalevel and the metalanguage facilities provided by Maude. Finally, we include a series of examples that illustrate the main features of the proposed language.

Original languageEnglish (US)
Pages (from-to)417-441
Number of pages25
JournalElectronic Notes in Theoretical Computer Science
Issue numberSPEC. ISS.
StatePublished - Jan 20 2005


  • Maude
  • Rewrite strategies
  • Search
  • Strategy languages

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Towards a strategy language for Maude'. Together they form a unique fingerprint.

Cite this