Léo Gourdin. Lazy Code Transformations in a Formally Verified Compiler. In Eric Jul, Dimi Racordon, editors, Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, ICOOOLPS 2023, Seattle, WA, USA, 17 July 2023. pages 3-14, ACM, 2023. [doi]
@inproceedings{Gourdin23,
title = {Lazy Code Transformations in a Formally Verified Compiler},
author = {Léo Gourdin},
year = {2023},
doi = {10.1145/3605158.3605848},
url = {https://doi.org/10.1145/3605158.3605848},
researchr = {https://researchr.org/publication/Gourdin23},
cites = {0},
citedby = {0},
pages = {3-14},
booktitle = {Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, ICOOOLPS 2023, Seattle, WA, USA, 17 July 2023},
editor = {Eric Jul and Dimi Racordon},
publisher = {ACM},
}