Maude-help mailing list

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

Hi Pat, 

I'm not sure whether there is something more behind your question, I don't 
get that of "the kind and object level", but I would say that the answer is 
yes, almost everything in Maude is reflected, and can be used at Maude's 
metalevel.

fmod FOO is 
  sorts Foo Bar .
  subsort Bar < Foo .
  op f : Bool -> Foo .
  var B : Bool .
  cmb f(B) : Bar if B .
endfm

fmod BAR is inc FOO + META-LEVEL . endfm

red metaReduce(upModule('FOO, false), upTerm(f(true))) .

Francisco

 
El 10/04/2011, a las 13:07, Patrick Browne escribió:

> Hi,
> Are memership equations  (e.g cmb E ; P : Path if target(E) = source(P))
> part of the reflective part of Maude?
> It would seem to me that they operate at both the kind and object level.
> 
> Regards,
> Pat
> 
> This message has been scanned for content and viruses by the DIT 
> Information Services E-Mail Scanning Service, and is believed to be clean. 
> http://www.dit.ie
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help