maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude utilities

From: "Morandi Benjamin" <benjamin.morandi AT inf.ethz.ch>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Maude utilities
Date: Fri, 2 Sep 2011 13:08:15 +0000
Accept-language: en-US, de-CH
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear All,

In their work on executable structural operational semantics in Maude, Verdajo et al [1] mention Maude utilities from a module ORACLE. The module defines a constant NEWQ. Each time NEWQ is rewritten, it is rewritten to a different quoted identifier. I was unable to find this module on the Maude website or in the downloaded package. Does anybody know where to get this module?

Best Regards

Benjamin Morandi

[1] Alberto Verdejo and Narciso Martí-oliet. Executable structural operational semantics in Maude. The Journal of Logic and Algebraic Programming, 2006.

[Maude-help] Maude utilities, Morandi Benjamin, 09/02/2011
- Re: [Maude-help] Maude utilities, Traian Florin Șerbănuță, 09/02/2011