Strategy-based term rewriting with callbacks.
Implementation of cloning operations.
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.org/).
Core implementation of strategy-based rewriting.
A cloner that uses non-memoising term rewriting.
Memoising strategy-based term rewriting for arbitrary terms.
Abstract syntax constructs that are common to all nominal rewriters.
Strategy-based term rewriting for Kiama
Strategy-based term rewriting for arbitrary terms.