Maude-help mailing list

[Guodong Li <ligd AT cs.utah.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