maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Newbie question: indexed sorts?

From: Randy Pollack <rpollack0 AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Newbie question: indexed sorts?
Date: Mon, 3 Feb 2014 15:58:01 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hello,

I want to define and reason about an order-sorted signature containing
infinitely many sorts

S_0 < S_1 < ...

The operators will have signatures such as

proj(n,i) : S_n (if 0 < i <= n in Nat)
pair(n): S_n, S_n -> S_n

Can this be expressed in Maude? Please point me to the user manual or
the Maude book where this is described.

Thanks for any info.

Randy Pollack
--

[Maude-help] Newbie question: indexed sorts?, Randy Pollack, 02/03/2014
- Re: [Maude-help] Newbie question: indexed sorts?, Steven Eker, 02/03/2014