Strategy-based term rewriting with callbacks.
Strategy-based term rewriting where all strategy results are memoised by identity on the subject term.
An extension of strategy-based term rewriting with special support for nominal rewriting along the lines of FreshML and the FreshLib library for Haskell.
Helper class to contain commonality of choice in non-deterministic choice operator and then-else part of a conditional choice.
Strategy-based term rewriting that copies positions to rewritten terms.
Types that implement this interface can be rewritten using the methods of Kiama's Rewriter library.
Strategy-based term rewriting in the style of Stratego (http://strategoxt.
Core implementation of strategy-based rewriting.
Any-rewriting strategies.
Memoising strategy-based term rewriting for arbitrary terms.
Abstract syntax constructs that are common to all nominal rewriters.
Strategy-based term rewriting for Kiama Positioned
terms.
Strategy-based term rewriting for arbitrary terms.