Maude-help mailing list

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

You can use Maude's socket mechanism to talk to arbitrary sockets - see 
the web client
example.

There is also a separate program called IOP for doing Maude i/o which is
maintained by Ian Mason 
(iam AT csl.sri.com).

You might also want to talk to Carolyn Talcott (clt AT csl.sri.com) who 
uses Maude
for studying problems in molecular biology.

Steven

On 7/11/14 9:36 AM, Konrad Hinsen wrote:
> Hi everyone,
>
> I am exploring Maude with the intention to use it for defining
> scientific models in computational physics and chemistry. One
> very pragmatic problem I run into is that I don't see how I can
> get any data from a file into Maude. The manual somehow hints at
> using "external objects" but doesn't give a concrete example.
>
> My goal is to build a term representing a molecular structure from a
> file describing that molecular structure, and then modify this term
> using rewrite rules. Are there examples somewhere for something along
> these lines?
>
> Konrad.
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help