|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 8 gevonden artikelen
| Titel: |
Program Transformation with Scoped Dynamic Rewrite Rules |
| Auteur: |
Martin Bravenboer Arthur van Dam Karina Olmos Eelco Visser |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 69 (2005) nr. 1-2 pagina's 123-178 |
| Jaar: |
2005-12-19 |
| Inhoud: |
The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting strategies. The second problem is addressed by the extension of rewriting strategies with scoped dynamic rewrite rules. Dynamic rules are defined at run-time and can access variables available from their definition context. Rules defined within a rule scope are automatically retracted at the end of that scope. In this paper, we explore the design space of dynamic rules, and their application to transformation problems. The technique is formally defined by extending the operational semantics underlying the program transformation language Stratego, and illustrated by means of several program transformations in Stratego, including constant propagation, bound variable renaming, dead code elimination, function inlining, and function specialization. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 8 gevonden artikelen
| << vorige | volgende >> |