Towards a Strategy Language for Maude
Narciso Martı́-Oliet, José Meseguer, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2005
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.