maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Embedding or calling Maude

From: StUstD <stustd AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Embedding or calling Maude
Date: Mon, 2 Feb 2015 16:22:37 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude expert:

Is it possible to embed/call (running) Maude into/from an application written in another language. This way applications immediately capitalize (logic and execution wise) on Maude's powerful modeling capabilities...

Thanks, stustd

[Maude-help] Embedding or calling Maude, StUstD, 02/02/2015
- [Maude-help] Embedding or calling Maude, Konrad Hinsen, 02/06/2015
  - Re: [Maude-help] Embedding or calling Maude, Francisco Durán, 02/06/2015
  - Re: [Maude-help] Embedding or calling Maude, StUstD, 02/06/2015
  - Re: [Maude-help] Embedding or calling Maude, Steven Eker, 02/06/2015