maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Textual representation of the metarepresentation of a module

From: Alberto Lluch Lafuente <albertolluch AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Textual representation of the metarepresentation of a module
Date: Thu, 3 Nov 2011 16:32:30 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear

Does someone know if there is already a function transforming the metarepresentation of a module into a string that can be directly pasted into a file and used as an ordinary module?

I am thinking about a function

op f : Module -> String

that removes quotes preceding terms, typing information for terms, occurrences of "none" (whenever there are no rules, membership equations, etc.), and all that, so that

red f(upTerm('MYMODULE,false)) .

returns the textual specification of MYMODULE (modulo a reordering of statements, etc.).

Thanks a lot in advance and best regards,

Alberto

--
Alberto Lluch Lafuente
Assistant Professor @ IMT Lucca
albertolluch AT gmail.com; alberto.lluch AT imtlucca.it
http://www.albertolluch.com
http://www.linkedin.com/in/albertolluch
http://www.imtlucca.it/alberto.lluch+lafuente
skype/albertolluch
+39 3334186635; +39 05834326594

[Maude-help] Textual representation of the metarepresentation of a module, Alberto Lluch Lafuente, 11/03/2011
- Re: [Maude-help] Textual representation of the metarepresentation of a module, Tobias Mühlbauer, 11/09/2011
  - Re: [Maude-help] Textual representation of the metarepresentation of a module, Alberto Lluch Lafuente, 11/09/2011