Towards a strategy language for Maude

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



In N. Martí-Oliet, editor, Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 April 4, 2004, ENTCS 117, pages 417-441. Elsevier, 2004.


Abstract: 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.

[pdf]

@inproceedings{MartiOlietMeseguerVerdejo04,
	Author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo},
	Title = {Towards a Strategy Language for {M}aude},
	Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic 
	             and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
	Editor = {Narciso Mart{\'\i}-Oliet},
	Pages = {417-441},
	Publisher = {Elsevier},
	Series = {Electronic Notes in Theoretical Computer Science},
	Volume = {117},
	Year = {2005}}