Program transformations using temporal logic side conditions

Abstract

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

Topics

17 Figures and Tables

Slides referencing similar topics