maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Foreign interface? Performance?

From: Craig Ugoretz <craigugoretz AT yahoo.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] Foreign interface? Performance?
Date: Mon, 31 Oct 2005 01:48:42 -0800 (PST)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=voGZB2d3Qql36kleE4PadsDpSjkG8KfthbCM+u5/+pEpapSun0a5utDZAj2DNxbFOWu9U1U+MQTpvI/1LOvdHs68EztUNmbVwjUjBExoqYuQF+XzCYa3lAX3TPUD51k01owlwj7FPnfhKc9alPrFrb7kX6cY+qTXQNxs9af8rkk= ;
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hello,

I am new algebraic specification and the Maude
language in particular. I see in the documentation
that it is "executable". Does this mean that it has
the capability to pass message to and from a driving
program, say written in C++ for example? In other
words, I would care to know if it has a foreign
interface or othe method for communicating with
foreign code. Another idea is to create a translator
into C++ using Maude. I have been researching writing
a mathematical program in the functional language
OCAML, but I am concerned with specification and
verification issues - this is why I have been starting
to look at algebraic programming and specification
languages like Maude. Also, performance is an issue.

Sincerely,
Craig Ugoretz

craigugoretz AT yahoo.com

[Maude-help] Foreign interface? Performance?, Craig Ugoretz, 10/31/2005