Maude-help mailing list

[Francisco Duran <duran AT lcc.uma.es>]

Hi Paul,

There have already been several attempts to build programming 
environments for Maude. None of them completely satisfactory, but first 
steps towards something serious. I know these 2:

A first attempt is Maude Workstation 
(http://www.lcc.uma.es/~duran/MaudeWorkstation/)

A more serious one was made by the people of the MOMENT group, in 
Valencia (moment.dsic.upv.es/). They build a plugin for Eclipse.

Best regards,

Paco


Paul escribió:
> Hi,
>
> I'm planning on implementing a Shell in Maude as part of an 
> undergraduate project.
>
> What I'm looking for is a way to interact with the Operating System, 
> i.e. I'd like to be able to access System Calls/Files. I've read a 
> little about IOP. Will this be sufficient for what I am trying to 
> achieve or is there another way?
>
> Many Thanks,
>
> Paul
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help