Imperative Program Transformation by Rewriting

Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expressions with simple patterns to matching blocks in a control flow graph. In order to express the complex restrictions on the applicability of these rewrites we add temporal logic side conditions. The combination of these features allows a flexible, high level, yet executable specification of many of the transformations found in optimising compilers.

• Type: Conference
• Year: 2001
• Where: CC
• Authors: David Lacey, Oege de Moor
• Keywords: CC 2001, Control flow Graph, Rewrite System, Standard Imperative Program, System Software