Maude-help mailing list

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

The is the IOP wrapper for Maude; Ian Mason (iam AT csl.sri.com) is the 
person to talk to.

Steven

On 2/6/15, 1:17 AM, Konrad Hinsen wrote:
> StUstD writes:
>
>   >  Is it possible to embed/call (running) Maude into/from an
>   >  application written in another language. This way applications
>   >  immediately capitalize (logic and execution wise) on Maude's
>   >  powerful modeling capabilities...
>
> > From the Unix shell point of view, Maude is just a program reading
> from standard input and writing to the standard output and standard
> error streams. Most programming languages propose library functions to
> call such programs as subprocesses.
>
> The hard part is converting information to and from Maude syntax
> to make this useful. I have played with the idea of writing a
> Python library for this purpose, but haven't yet found the time
> to consider this idea more seriously. If anyone knows of similar
> projects, I'd be interested.
>
> Konrad.
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help