RT Journal Article
T1 Metalevel transformation of strategies
A1 Rubio Cuéllar, Rubén Rafael
A1 Martí Oliet, Narciso
A1 Pita Andreu, María Isabel
A1 Verdejo López, José Alberto
AB 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.
PB Elsevier
SN 2352-2208
YR 2022
FD 2022-09-28
LK https://hdl.handle.net/20.500.14352/91460
UL https://hdl.handle.net/20.500.14352/91460
LA eng
NO Agencia Estatal de Investigación
NO Ministerio de Ciencia, Innovación y Universidades
DS Docta Complutense
RD 7 abr 2025