Maude-help mailing list

[Lucian Bentea <lucianb AT ifi.uio.no>]

Hi everyone,

I have a question regarding the "loop" command in Maude.

As far as I understand, when running this command (or when the user 
inputs some identifier), the rewriting of the loop state is "internal", 
i.e., it does not allow messages to be exchanged with external objects, 
as allowed by the "erewrite" command.

Is there an easy solution to having a loop state that changes according 
to external rewrites? Would this require changing the C++ implementation 
for how the loop constructor [_,_,_] is handled?

The reason why I find this useful, is that I think it would allow 
language interpreters (including those based on Full Maude) to run 
parallel algorithms on multi-core architectures. Please correct me if I 
am wrong.

I look forward to your opinion on this.

Kind regards,
Lucian