Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Marc,

Parameterized theories have been under development for a very long  
time. The idea was, as for many other Maude features, implementing  
them as part of Full Maude to nail down all details before doing the  
effort of implementing them as part of (Core) Maude. There was a first  
attempt a long time ago, but it was never finished.

Full Maude supports parameterized views.

Thanks for the typo.

Francisco

El 22/01/2010, a las 14:41, Marc Boyer escribió:

> 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 mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help