maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] System calls from Maude

From: Vladimir Klebanov <klebanov AT kit.edu>
To: Steven Eker <eker AT csl.sri.com>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] System calls from Maude
Date: Mon, 20 Jan 2014 20:32:11 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

On Mon, Jan 20, 2014 at 8:24 PM, Steven Eker
<eker AT csl.sri.com>
wrote:
> Maude's top level is not a general purpose shell - only a handful of useful
> commands are implemented.

Didn't Maude have sockets? Maybe OP's desired functionality could be
implemented by communicating with an appropriate external "server"?

Vladimir

--
Vladimir Klebanov
Postdoctoral Researcher, Application-oriented Formal Verification
Karlsruhe Institute of Technology
http://formal.iti.kit.edu/~klebanov

[Maude-help] System calls from Maude, Alain Giorgetti, 01/18/2014
- Re: [Maude-help] System calls from Maude, Steven Eker, 01/20/2014
  - Re: [Maude-help] System calls from Maude, Vladimir Klebanov, 01/20/2014