Maude-help mailing list

[Francisco Durán <fdm AT uma.es>]

There have been several experiences using Maude wrappers to interact with 
Maude from other programming languages. Perhaps you can take a look to the 
Eclipse plugin by the MOMENT group (http://mdt.sourceforge.net/) or the Maude 
Termination Tool (http://www.lcc.uma.es/~duran/MTT/). I know other 
experiences by Carolyn Talcott's and Grigore Rosu's groups, but I cannot give 
you concrete pointers to them. 

Cheers,

Francisco


El 06/02/2015, a las 10:17, Konrad Hinsen escribió:

> 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