Maude-help mailing list

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

Hi all,

I am trying to use Maude to simplify programs written in a very simple language (let-in, integer type and operations on integers). For small cases it works ok, but in the context in which we would like to apply this solution based on Maude those programs could be very large (hundreds of thousands of let-ins) and Maude seems to take lot of time to process such examples (just using 'red', no use of 'rew').

Maude manual (as well as some papers you can find googling a bit) makes reference to a compiler integrated into the Maude interpreter which promises to be the solution to our problem. Unfortunately most I can find about that compiler is that it is used by the command 'cred', but I did not find any documentation about 'cred'. When I use 'cred' in Maude it just returns without reporting anything (neither sucess nor failure).

Could someone point me how I could use this compiler?

Thanks in advance,

-- 
Iago Abal Rivas