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.
@article{arxiv.2401.07749,
title = {Metalevel transformation of strategies},
author = {Rubén Rubio and Narciso Martí-Oliet and Isabel Pita and Alberto Verdejo},
journal= {arXiv preprint arXiv:2401.07749},
year = {2024}
}