Maude-help mailing list

[Konrad Hinsen <konrad.hinsen AT fastmail.net>]

Steven Eker writes:

 > 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).

Thanks for the pointer, IOP looks like what I have been looking for!

Scott Christley writes:

 > The technique I use is to write a simple program that translates
 > the data into Maude statements and writes those statements to a
 > file.  Then I load that file in Maude to do rewrites and etc.

That's what I have been doing as well for my first experiments, but
it's one more step in processing that I'd like to avoid having to do.

Thanks,
  Konrad.