Maude-help mailing list

[Iago Abal <iago.abal AT gmail.com>]

On Wed, May 11, 2011 at 1:03 AM, Steven Eker <eker AT csl.sri.com> wrote:

On Tuesday 10 May 2011 03:16:02 pm Iago Abal wrote:
> I would like to ask about the state of the strategy language presented in
> http://maude.sip.ucm.es/strategies/ .
>
> I see that there are some features already implemented in Core Maude,
> concretely I am able to use the 'srew' command and most of the combinators
> described in [1]. But for example, I am not able to load a strategy-module
> (maybe I am missing something). Is this work discontinued?

The amatchrew/matchrew/xmatchrew combinators are not implemented; nor are
strategy modules. The work is currently on hiatus rather that discontinued.

> By the way, I am trying to find a strategy that given a rule R applies it
>  in just one deterministic place within the term - in contrast with "using
>  R ." that would apply R anywhere it matches (potentially) producing
>  several results.

I can't think of a good way of doing this off hand. Btw do you want to be added
to my maude-abusers alpha testers list? The alpha release notes provided
details on partly implemented features that are not currently documented in
the manual.

Yes please, I would like to see those alpha release notes. 

Steven

-- 
Iago Abal Rivas