Skip to Content.
Sympa Menu

maude-help - [Maude-help] OS interaction

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] OS interaction


Chronological Thread 
  • From: Paul <reverselogic AT gmail.com>
  • To: maude-help AT maude.cs.uiuc.edu
  • Subject: [Maude-help] OS interaction
  • Date: Tue, 9 Oct 2007 01:09:40 +0100
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=spscQX8WNt8XYxoVUXv2oi0Xi6a/zvQBIiXrZIblSf1z8yy1Jqeo1jxEGUmCrTD368+IitbqsTdU+uioKmjRRxZfn/2Rixai7HsmNVu5rPtFBa4w4lMpfavJGeP8SBxejtwJrERQ8zHWip3ZQGkQI5gBYNFetglIdVG+tCWR16Y=
  • List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
  • List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi,

I'm planning on implementing a Shell in Maude as part of an undergraduate project.

What I'm looking for is a way to interact with the Operating System, i.e. I'd like to be able to access System Calls/Files. I've read a little about IOP. Will this be sufficient for what I am trying to achieve or is there another way?

Many Thanks,

Paul



Archive powered by MHonArc 2.6.16.

Top of Page