maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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

From: Marc Boyer <Marc.Boyer AT onera.fr>
To: Michael Katelman <katelman AT uiuc.edu>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] cross prod. transform.
Date: Thu, 25 Feb 2010 10:43:34 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Michael Katelman a écrit :

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)

Yes, but it is a bit disapointing to need to write the dimension
of the tuple.
In practice, I have writen by copy/paste the parametrized modules
TUPLE2, TUPLE3, TUPLE4, TUPLE5 which are, in common usage, sufficient
(if you manipulate data with more than 5 sorts, it is certainly
necessery to structure it with names, like struct/object).

Regards,
Marc Boyer
--
Marc Boyer, Ingenieur de recherche ONERA
Tel: (33) 5.62.25.26.36 DTIM
Fax: (33) 5.62.25.26.52 2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/ 31055 TOULOUSE Cedex 4

[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