Program transformations using temporal logic side conditions
Kalvala, Sara, Warburton, Richard and Lacey, David. (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol.31 (No.4). p. 14. ISSN 0164-0925Full text not available from this repository.
Official URL: http://dx.doi.org/10.1145/1516507.1516509
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 transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimizing steps. The approach is illustrated through a transformational case study where we apply several optimizations to a small program.
|Item Type:||Journal Article|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Divisions:||Faculty of Science > Computer Science|
|Library of Congress Subject Headings (LCSH):||Programming languages (Electronic computers), Optimizing compilers, Program transformation (Computer programming), Computer programs -- Verification, Rewriting systems (Computer science)|
|Journal or Publication Title:||ACM Transactions on Programming Languages and Systems (TOPLAS)|
|Publisher:||Association for Computing Machinery, Inc.|
|Number of Pages:||48|
|Page Range:||p. 14|
|Access rights to Published version:||Restricted or Subscription Access|
|Funder:||Engineering and Physical Sciences Research Council (EPSRC)|
|Grant number:||EP/DO32466/1 (EPSRC)|
Actions (login required)