  In the reflective Maude specification language, based on rewriting logic, a
strategy language has been introduced to control rule rewriting while avoiding
complex and verbose metalevel programs. However, just as multiple levels of
reflection are required for some metaprogramming tasks, reflective manipulation
and generation of strategies are convenient in multiple situations. Some
examples of reflective strategy transformations are presented, which implement
special forms of evaluation or extend the strategy language while preserving
its advantages.
