Metalevel transformation of strategies
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913197168001024 |
|---|---|
| author | Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto |
| author_facet | Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07749 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Metalevel transformation of strategies Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto Logic in Computer Science 68Q42 F.4.1; F.3.1 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. |
| title | Metalevel transformation of strategies |
| topic | Logic in Computer Science 68Q42 F.4.1; F.3.1 |
| url | https://arxiv.org/abs/2401.07749 |