Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

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.

Steven