Number of items: 2.
Conference Item
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
Thesis
Davies, Eleanor
(2021)
Modular reasoning about combining modular compiler phases.
PhD thesis, University of Warwick.
This list was generated on Thu Apr 18 12:08:49 2024 BST.