bibtex

@inproceedings{MS1,
    title = { Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion },
    author = {Monniaux, David and Six, Cyril},
    year = {2021},
    booktitle = {{LCTES} '21: 22nd {ACM} {SIGPLAN/SIGBED} International Conference on Languages, Compilers, and Tools for Embedded Systems, Virtual Event, Canada, 22 June, 2021},
    pages = {85--96},
    publisher = {{ACM}},
    team = {axe_FormalProofs, axe_SharedResources, PACSS},
}

URL


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

info visites 4096741