Program transformations using temporal logic side conditions


This article describes an approach to program optimization based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimizations using our… (More)
DOI: 10.1145/1516507.1516509


17 Figures and Tables

Slides referencing similar topics