@inproceedings{Gou3,
title = { {Lazy Code Transformations in a Formally Verified Compiler} },
author = {Gourdin, L\'eo},
month = {Jul},
year = {2023},
booktitle = {{ICOOOLPS '23: 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems}},
address = {Seattle WA USA, United States},
pages = {3-14},
publisher = {{ACM}},
team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
}