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.

翻译：在基于重写逻辑的反射性Maude规格语言中，引入了一种策略语言以控制规则重写，同时避免复杂冗长的元层次程序。然而，正如某些元编程任务需要多层反射一样，策略的反射性操作与生成在多种场景下具有便利性。本文展示了若干反射性策略变换的实例，这些实例实现了特殊形式的求值，或在保留策略语言优势的同时对其进行了扩展。