Maude-help mailing list

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

Hi Emmanuel,

As far as I know there is only  a first attempt by Steven Eker to produce a specification of the number hierarchy built-ins. It was at some point distributed as part of one of the Maude alphas

http://www.csl.sri.com/~eker/Maude/Alpha86c/numberHierachy.maude

I don't know of any attempt of generating a transformation to eliminate owises. 

Francisco

El 24/08/2010, a las 21:51, Emmanuel Castro escribió:

It is written black on white in the docs that CRCHC does not work with
built-in operation.
Does someone has written an built-in-less (non operational) equivalent
of the modules in the prelude, so that one can check the confluence of
modules protecting Nat, Qid, List...?

CRCHC does not support [owise] either.
Does someone has ever written a transformation changing an
[owise]-enabled module to an equivalent [owise]-less module, at least
when one does not use the strategy attribute.

Thank you

Emmanuel
_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help