Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

On 9/11/13 1:27 AM, Ellef Fange Gjelstad wrote:

What is the status and roadmap for Maude 3?

Where do I find information for the Maude compiler, briefly mentioned in the Maude manual?  I know that it isn't supported very well, but it would still be interesting.

Regards,

Ellef Fange Gjelstad

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

There hasn't been a public release since 2.6 but new features and bug fixes are in the alpha releases which include more unification algorithms and variant narrowing and unification. We should probably put out a 2.7 release before the end of the year.

There isn't a formal roadmap for 3.0 but I'm currently working on a new rewriting engine and work on integration with SMT solvers is likely next year.

The compiler hasn't been maintained in many years - though the code is still in the source tree so it may still work. It only handled a very restricted subset of the language and offered on the best benchmark, a 5x speed up over the interpreter of the day. But the interpreter has gotten faster over the years, and will likely get a significant speed boost in the near future, with or without the new engine, as a result of my better understanding of branch mispredicts. It turns out as the number of instructions per rewrite falls, cache misses and especially branch mispredicts become the dominant factor in performance.

Steven