maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] cross prod. transform.

From: Michael Katelman <katelman AT uiuc.edu>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] cross prod. transform.
Date: Wed, 24 Feb 2010 20:37:36 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

According to Jose, the right answer is the TUPLE[_] module operation
available in Full Maude, if anyone cares :\. (see Maude Manual
(Version 2.4) Section 15.3)

-Mike

On Sat, Feb 13, 2010 at 5:58 PM, Michael Katelman
<katelman AT uiuc.edu>
wrote:
> I want to be able to automatically build a product sort for a list of
> sorts, including both the constructors and projection functions. It
> seems that like this needs to be done at the meta-level? Eg, by
> generating a new module from a list of empty modules parameterized by
> a view of TRIV? Any suggestions? Or, does anything like this already
> exist in the Maude "libraries"?
>
> Thanks.
>
> -Mike
>

[Maude-help] cross prod. transform., Michael Katelman, 02/13/2010
- Re: [Maude-help] cross prod. transform., Michael Katelman, 02/24/2010
  - Re: [Maude-help] cross prod. transform., Marc Boyer, 02/25/2010
    - Re: [Maude-help] cross prod. transform., Michael Katelman, 02/25/2010
      - Re: [Maude-help] cross prod. transform., Marc Boyer, 02/25/2010
        
        Re: [Maude-help] cross prod. transform., Michael Katelman, 02/27/2010