Patricia Johann, Eelco Visser. Fusing Logic and Control with Local Transformations: An Example Optimization. Electronic Notes in Theoretical Computer Science, 57:144-162, 2001. [doi]
@article{JohannV01,
title = {Fusing Logic and Control with Local Transformations: An Example Optimization},
author = {Patricia Johann and Eelco Visser},
year = {2001},
doi = {10.1016/S1571-0661(04)00271-3},
url = {https://doi.org/10.1016/S1571-0661(04)00271-3},
tags = {programming languages, optimization, reusable components, rule-based, generic programming, graph transformation, separation of concerns, Stratego/XT, transformation language, term rewriting, reuse, graph-rewriting, rules, logic programming, programming, context-aware, logic, program optimization, innermost rewriting, rewriting logic, rewriting, rewriting strategies, transformation, Stratego, program transformation},
researchr = {https://researchr.org/publication/JohannV01},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {57},
pages = {144-162},
}