TY  - JOUR
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
PY  - 2022
DO  - 10.1016/j.jlamp.2021.100728
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/91460
T2  - Journal of Logical and Algebraic Methods in Programming
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...
LA  - eng
M2  - 1
PB  - Elsevier
KW  - Maude
KW  - Rewriting strategies
KW  - Reflection
KW  - Model checking
TI  - Metalevel transformation of strategies
TY  - journal article
VL  - 124
ER  -