Towards a strategy language for Maude

Narciso Marti-Oliet
(joint work with Jose Meseguer and Alberto Verdejo)

We describe a 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. We include a series of examples that illustrate the main
features of the proposed strategy language. This language
has been put to work in the implementation of operational semantics
for the ambient calculus and for the parallel functional language Eden.

Related papers:

N. Marti-Oliet, J. Meseguer, and A. Verdejo
Towards a strategy language for Maude
In N. Marti-Oliet (ed.),
Fifth International Workshop on Rewriting Logic and its Applications,
WRLA 2004, Barcelona, Spain, Part of ETAPS 2004,
ENTCS 117, Elsevier Science, 417-441, 2005.
http://www.sciencedirect.com/science/journal/15710661

F. Rosa-Velardo, C. Segura, and A. Verdejo.
Typed Mobile Ambients in Maude.
In H. Cirstea and N. Marti-Oliet (eds.),
6th International Workshop on Rule-Based Programming,
RULE 2005, Nara, Japan,
ENTCS, Elsevier Science, to appear.

M. Hidalgo-Herrero, A. Verdejo, and Y. Ortega-Mallen.
Looking for Eden through Maude and its strategies.
In F. Lopez-Fraguas (ed.),
Fifth Spanish Conference on Programming and  Computer Languages,
PROLE 2005, Granada, Spain, Part of CEDI 2005.