maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] System calls from Maude

From: Alain Giorgetti <alain.giorgetti AT lifc.univ-fcomte.fr>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] System calls from Maude
Date: Sat, 18 Jan 2014 18:54:10 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Dear all,

is there any way to do system calls from Maude, beyond the
commands pwd, ls, cd, pushd, popd, in, load, eof and quit
listed in Section 18.14 of the Maude manual, for instance some
destructive 'rm -rf'?

Many thanks for your help!

Alain

[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