Maude-help mailing list

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

Hi all,

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?

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.

Thanks in advance,

[1] http://maude.sip.ucm.es/strategies/strategies06.pdf

--
Iago Abal Rivas