bibtex

@article{TMM+9,
    title = { Fast and Exact Analysis for LRU Caches },
    author = {Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan},
    month = {jan},
    year = {2019},
    address = {New York, NY, USA},
    journal = {Proc. ACM Program. Lang.},
    pages = {54:1--54:29},
    publisher = {ACM},
    volume = {3},
    team = {PACSS, SYNC},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1317356