Maude-help mailing list

[Traian Florin Șerbănuță <tserban2 AT illinois.edu>]

Dear Benjamin,

using the COUNTER module you can achieve something similar yourself.

The only drawback would be that once you use COUNTER you cannot use
the searching capabilities anymore, but if you're only interested in
rewriting/interpretation, that might be enough.

so, with COUNTER:

mod NEWQ is
  including COUNTER .
  including QID .
  op symQid : Nat -> Qid [ctor] .
  op newq : -> Qid .
  eq newq  = symQid(counter) .
endm

mod TEST is
  including NEWQ .
  including QID-LIST .
endm

rew newq newq newq newq .

you could get even fancier than that by generating real Qid's by
replacing the NEWQ module with
mod NEWQ is
  including COUNTER .
  including QID .
  including CONVERSION .
  op newq : -> Qid .
  eq newq  = qid("symQid" + string(counter,10)) .
endm


hope this helps.

best wishes,
- traian

2011/9/2 Morandi  Benjamin 
<benjamin.morandi AT inf.ethz.ch>:
> 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 mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>