… dynamic rewriting rules. In particular, we introduce the concept of dependent dynamic rewrite rules for modeling the dependencies of data-flow facts on program … supports the high-level specification of transformations by means of rewriting strategy …
CC 2005: 204-220 [doi]