2026-06-29T08:12:19Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/914602024-01-03T02:48:27Zcom_20.500.14352_14col_20.500.14352_15
Metalevel transformation of strategies
Rubio Cuéllar, Rubén Rafael
Martí Oliet, Narciso
Pita Andreu, María Isabel
Verdejo López, José Alberto
Maude
Rewriting strategies
Reflection
Model checking
Lenguajes de programación
Lógica simbólica y matemática (Matemáticas)
1203.23 Lenguajes de Programación
1102.14 Lógica Simbólica
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.
Agencia Estatal de Investigación
Ministerio de Ciencia, Innovación y Universidades
Depto. de Sistemas Informáticos y Computación
Fac. de Informática
TRUE
pub
2023-12-18T16:52:57Z
2023-12-18T16:52:57Z
2022-09-28
journal article
AM
https://hdl.handle.net/20.500.14352/91460
2352-2208
10.1016/j.jlamp.2021.100728
eng
info:eu-repo/grantAgreement/MINECO//TIN2015-67522-C3-3-R/ES/TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE/
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS/
info:eu-repo/grantAgreement/MECD/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FPU%2F02319
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
open access
application/pdf
Elsevier