[Haskell] Announce: Kansas University Rewrite Engine (KURE) 2.0.0
neil at ittc.ku.edu
Fri Jun 8 22:47:35 CEST 2012
KURE 2.0.0 is now available on Hackage. This is a substantial redesign
of the previous versions of KURE. Comments or feature requests are welcome.
The Kansas University Rewrite Engine (KURE) is a DSL for strategic
rewriting. KURE shares concepts with Stratego, but unlike Stratego,
KURE is strongly typed. KURE is similar to StrategyLib, but has a
lightweight generic traversal mechanism using type families rather than
SYB. KURE is the engine inside HERMIT, our Equational Rewrite Framework.
Introductory blog post: http://www.ittc.ku.edu/csdlblog/?p=124
Some small examples of using KURE are provided in the source bundle.
For a larger, non-trivial, example, see the description of its use in
the HERMIT project:
This work was supported by funding from the NSF, for which we are grateful.
More information about the Haskell