maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] structured sorts

From: pat browne <Patrick.Browne AT comp.dit.ie>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] structured sorts
Date: Mon, 06 Jul 2009 10:23:09 +0100
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 PhD student studying institution based languages.
I have the following questions with regards to structured sorts (SS) in
Maude.

1) At specification level what situations are SS intended to model?

2) What advantages do structured sorts offer over and above the standard
Maude signature morphisms?

3)Are there any papers on the subject?

One possible scenario where I could see an anvantage of SS is that SS
could ensure that a collection and its contents were of compatible sorts.

Thanks,
Pat Browne

[Maude-help] structured sorts, pat browne, 07/06/2009
- Re: [Maude-help] structured sorts, Francisco Durán, 07/06/2009