maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Alberto Lluch Lafuente <albertolluch AT gmail.com>
- To: Morandi Benjamin <benjamin.morandi AT inf.ethz.ch>
- Cc: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
- Subject: Re: [Maude-help] Rewrite, change, and continue
- Date: Wed, 22 May 2013 14:17:20 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
- List-id: <maude-help.cs.uiuc.edu>
Hi Benjamin,
I cannot figure out a way to do that using the current commands (and not changing your specification).
Of course an obvious option is to resort the META-LEVEL where you could easily implement your own rewrite strategies.
An alternative to the use of the META-LEVEL could be to use rewrite strategies (http://maude.sip.ucm.es/strategies/).
Best regards,
Alberto
- [Maude-help] Rewrite, change, and continue, Morandi Benjamin, 05/22/2013
- Re: [Maude-help] Rewrite, change, and continue, Alberto Lluch Lafuente, 05/22/2013
- Re: [Maude-help] Rewrite, change, and continue, Morandi Benjamin, 05/22/2013
- Re: [Maude-help] Rewrite, change, and continue, Steven Eker, 05/30/2013
- Re: [Maude-help] Rewrite, change, and continue, Alberto Lluch Lafuente, 05/22/2013
Archive powered by MHonArc 2.6.16.