maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Parametrized theory: only in Full Maude ?

From: Marc Boyer <Marc.Boyer AT onera.fr>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Parametrized theory: only in Full Maude ?
Date: Fri, 22 Jan 2010 14:41:04 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear all,

when reading "Maude 2.0 Primer"n by T. McCombs, I have been
very interested by parametrized theoris (§5.4 p66).

But Maude complains
parmaeterized theories are not supported; recovering by ignoring parameter X.
(by the way, there is a mispelling of "parametrized" in the error message).

Or is it restricted to full maude ?

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] Parametrized theory: only in Full Maude ?, Marc Boyer, 01/22/2010
- Re: [Maude-help] Parametrized theory: only in Full Maude ?, Francisco Durán, 01/22/2010