bibtex

@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},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4193296