Marcelo Sant'Anna;Julio Leite;Ira Baxter;Dave Wile;Ted Biggerstaff;Don Batory;Prem Devanbu;Liz Burd
PUC-Rio;PUC-Rio;Semantic Designs;ISI-USC;Microsoft;UT Austin;UC Davis;Univ. of Durham
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation