maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] meta-level

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] meta-level
Date: Mon, 29 Mar 2010 10:54:52 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Sorry for the delayed response. There's no good way to store meta-modules and
then import them with a functional metalevel. The meta-interpreter objects
introduced in alpha92 allow this, but so far only non-parameterized modules
are allowed since there is no message to introduce theories into a meta-
interpreter.

Steven

On Saturday 13 February 2010, Michael Katelman wrote:
> 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 mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>

Re: [Maude-help] meta-level, Steven Eker, 03/29/2010