The Library
Postcondition-preserving fusion of postorder tree transformations
Tools
Davies, Eleanor and Kalvala, Sara (2020) Postcondition-preserving fusion of postorder tree transformations. In: CC 2020, San Diego, CA, 22–23 Feb 2020. Published in: Proceedings of the 29th International Conference on Compiler Construction (CC ’20) pp. 191-200. ISBN 9781450371209. doi:10.1145/3377555.3377884
|
PDF
WRAP-postcondition-preserving-fusion-postorder-tree-transformations-Davies-2020.pdf - Published Version - Requires a PDF viewer. Available under License Creative Commons Attribution 4.0. Download (1104Kb) | Preview |
Official URL: https://doi.org/10.1145/3377555.3377884
Abstract
Tree transformations are commonly used in applications such as program rewriting in compilers. Using a series of simple transformations to build a more complex system can make the resulting software easier to understand, maintain, and reason about. Fusion strategies for combining such successive tree transformations promote this modularity, whilst mitigating the performance impact from increased numbers of tree traversals. However, it is important to ensure that fused transformations still perform their intended tasks. Existing approaches to fusing tree transformations tend to take an informal approach to soundness, or be too restrictive to consider the kind of transformations needed in a compiler. We use postconditions to define a more useful formal notion of successful fusion, namely postcondition-preserving fusion. We also present criteria that are sufficient to ensure postcondition-preservation and facilitate modular reasoning about the success of fusion.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
SWORD Depositor: | Library Publications Router | ||||
Library of Congress Subject Headings (LCSH): | Compilers (Computer programs), Computer software -- Architecture | ||||
Journal or Publication Title: | Proceedings of the 29th International Conference on Compiler Construction (CC ’20) | ||||
Publisher: | ACM | ||||
ISBN: | 9781450371209 | ||||
Official Date: | 22 February 2020 | ||||
Dates: |
|
||||
Page Range: | pp. 191-200 | ||||
DOI: | 10.1145/3377555.3377884 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Open Access (Creative Commons) | ||||
Date of first compliant deposit: | 17 March 2020 | ||||
Date of first compliant Open Access: | 17 March 2020 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | CC 2020 | ||||
Type of Event: | Conference | ||||
Location of Event: | San Diego, CA | ||||
Date(s) of Event: | 22–23 Feb 2020 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year