Number of items: 2.
Davies, Eleanor
(2021)
Modular reasoning about combining modular compiler phases.
PhD thesis, University of Warwick.
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
This list was generated on Tue Apr 23 09:19:39 2024 BST.