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.
['Narciso Martí-Oliet', 'José Meseguer', 'Alberto Verdejo']
Towards a Strategy Language for Maude