maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Guodong Li <ligd AT cs.utah.edu>
- To: Maude-help AT maude.cs.uiuc.edu
- Subject: [Maude-help] Urgent Help on Maude Meta-programming
- Date: Thu, 5 Jun 2008 15:40:43 -0600 (MDT)
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Hi Maude Users and Developers,
I am recently using Maude to simplify intermediate representations of
programs. Since I want to fit the rewriting engine into my static analysis
tool written in C++, I aim at creating an interface to Maude that
allows term rewriting through calling native C++ functions.
However, I found it difficult to perform meta programming beyond the
Maude interactive interpreter. For instance, I found no function (in the
source) that enables me to create a variable term from a string and type
information, e.g. something like
term1 = mk_variable("a", mk_type(...))
mk_application(term1, term2)
In short, if I don't perform such programming in Maude's interactive
environment, can I build up the terms or even modules without calling
Maude's built-in parser?
I appreciate your answers greatly.
Thanks,
Guodong
- [Maude-help] Urgent Help on Maude Meta-programming, Guodong Li, 06/05/2008
- Re: [Maude-help] Urgent Help on Maude Meta-programming, Steven Eker, 06/10/2008
Archive powered by MHonArc 2.6.16.