maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] meta-level

From: Michael Katelman <katelman AT uiuc.edu>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] meta-level
Date: Sat, 13 Feb 2010 19:18:07 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

metaReduce takes as arg 1 a Module (singular). Is it possible to
generate a set of Module's, possibly with import dependences at the
meta-level and use metaReduce etc.? I need to do this because I want
to generate a parameterized module and then instantiate it.

-Mike

[Maude-help] meta-level, Michael Katelman, 02/13/2010