Number of items: 2.
2021
Davies, Eleanor
(2021)
Modular reasoning about combining modular compiler phases.
PhD thesis, University of Warwick.
2020
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 Sat Dec 9 03:02:54 2023 GMT.