Karina Olmos, Eelco Visser. Strategies for Source-to-Source Constant Progagation. Electronic Notes in Theoretical Computer Science, 70(6):156-175, 2002. [doi]
@article{OlmosV02,
title = {Strategies for Source-to-Source Constant Progagation},
author = {Karina Olmos and Eelco Visser},
year = {2002},
doi = {10.1016/S1571-0661(04)80605-4},
url = {https://doi.org/10.1016/S1571-0661(04)80605-4},
tags = {control systems, model-to-model transformation, optimization, rule-based, graph transformation, dynamic rewrite rules, abstract syntax, Stratego/XT, data-flow programming, data-flow, source-to-source, graph-rewriting, rules, transformation system, model transformation, program optimization, rewriting, constant propagation, rewriting strategies, open-source, transformation, Stratego, program transformation},
researchr = {https://researchr.org/publication/OlmosV02},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
pages = {156-175},
}