maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] cross prod. transform.

From: Michael Katelman <katelman AT uiuc.edu>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] cross prod. transform.
Date: Sat, 13 Feb 2010 17:58:46 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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