maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Overloading or membership ?

From: "Marc Boyer" <Marc.Boyer AT enseeiht.fr>
To: maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: [Maude-help] Overloading or membership ?
Date: Mon, 9 Jan 2006 14:29:45 +0100 (CET)
Importance: Normal
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi,

I am a new maude user. I was wondering if overloading and membership
could do the same job, and if there is any pb with the assoc label.

Let be the following code:
sort S .
op _ + _ : S S -> S [assoc comm ctor] .
sort S' .
subsort S' < S .

What is the best solution ?
op _ + _ : S' S' -> S' [ditto] .
or
vars x y : S' .
mb x + y : S' .

I am wondering if the assoc property will be lost by the membership
equation or not ?

Thank you,

Marc Boyer

[Maude-help] Overloading or membership ?, Marc Boyer, 01/09/2006
- Re: [Maude-help] Overloading or membership ?, Steven Eker, 01/09/2006