Metalevel transformation of strategies
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 ma...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2022 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/91460 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/91460 |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | 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. |
|---|