maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] MEL and reflection

From: Patrick Browne <patrick.browne AT dit.ie>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] MEL and reflection
Date: Sun, 10 Apr 2011 12:07:51 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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] MEL and reflection, Patrick Browne, 04/10/2011
- Re: [Maude-help] MEL and reflection, Francisco Durán, 04/10/2011
  - Re: [Maude-help] MEL and reflection, Patrick Browne, 04/11/2011
    - Re: [Maude-help] MEL and reflection, Francisco Durán, 04/11/2011
      - Re: [Maude-help] MEL and reflection, Michael Katelman, 04/11/2011