… programming. In this paper we show how rewriting strategies for instruction selection can … on the paradigm of programmable rewriting strategies. This embedding obviates … be expressed by means of rewrite rules. Typically, such sets of rewrite rules are highly …
RTA 2002: 237-251 [doi]… Programming language semantics based on pure rewrite rules suffers from the gap between the rewriting strategy implemented in rewriting engines and the intended evaluation strategy. This paper shows how programmable rewriting strategies …
ENTCS, 65(3):57-76, 2002. [doi]… We describe a language for defining term rewriting strategies, and its … terms can be described by a set of rewrite rules; rewriting strategies are used … optimizer specifications can themselves be expressed as strategy-driven rewrites. We …
ICFP 1998: 13-26 [doi]… User-definable strategies for the application of rewrite rules provide a means to construct transformation systems that apply rewrite rules in a controlled … is used to control the rewriting of terms using labeled rewrite rules. Rule …
ASF+SDF 1997:… on the paradigm of rewriting strategies. It supports the separation of strategies from …, normalization and improvement [15]. Rewrite rules are a natural formalism for expressing … for normalizing a program with a set of rewrite rules is not adequate for implementing program …
RTA 2001: 357-362 [doi]… supports the high-level specification of transformations by means of rewriting strategy … dynamic rewriting rules. In particular, we introduce the concept of dependent dynamic rewrite rules for modeling the dependencies of data-flow facts on program …
CC 2005: 204-220 [doi]