Dear Adrián and Alberto,
you can find several Maude programs with strategies in the papers:
* WRLA02 - María Alpuente, Salvador Lucas and myself
* WRLa04 - Francisco Durán, Salvador Lucas and myself
But I strongly recommend the many papers on context-sensitive rewriting
in the web of Salvador Lucas that although not always written in Maude
are easily translatable to Maude.
Best,
-Santiago
On Jun 12, 2008, at 10:52 AM, Alberto Verdejo wrote:
> Dear friends,
>
> We have extended our declarative debugger for Maude (previously
> announced
> in this list) to handle system modules. You can find more
> information in the
> webpage
http://maude.sip.ucm.es/debugging/>
> The only feature that is not allowed yet is the strat attribute. We
> are developing
> a prototype and we would like to test it with several examples. The
> sieve of
> Eratosthenes from the Maude book is working quite well. Have you
> used the
> strat attribute in your own specifications? Do you mind share them
> with us?
>
> Thank you very much.
>
> Best regards,
> Adrián and Alberto
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users
