maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] How to get a view to a module parameter?

From: Konrad Hinsen <konrad.hinsen AT fastmail.net>
To: Steven Eker <eker AT csl.sri.com>, maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] How to get a view to a module parameter?
Date: Mon, 8 Sep 2014 10:38:22 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hi Steven,

> This is a slightly subtle case. What you need here is a view that
> goes from a theory to another theory, so as to transform the theory
> TRIV that ARRAY has for its first parameter into the theory
> BASE-UNITS, for which you have a parameter from the enclosing
> module.

Ah, I see. I had looked into views from theory to theory, but it
wasn't quite clear to me what I get as a result when I use such a view
as a module argument. Now it is, thanks!

Konrad.

[Maude-help] How to get a view to a module parameter?, Konrad Hinsen, 09/05/2014
- Re: [Maude-help] How to get a view to a module parameter?, Steven Eker, 09/05/2014
  - Re: [Maude-help] How to get a view to a module parameter?, Konrad Hinsen, 09/08/2014