bibtex

@inproceedings{BBD+7,
    title = { A Formally Verified Compiler for Lustre },
    author = {Bourke, Thimoty and Brun, L\'elio and Dagand, Pierre-\'Evariste and Leroy, Xavier and Pouzet, Marc and Rieg, Lionel},
    year = {2017},
    booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2017, Madrid, Spain, June 18-23, 2017},
    pages = {586--601},
    series = {Programming Language Design and Implementation (PLDI)},
    team = {Coll\`ege de France, Other},
}

URL

Publication Sections


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

info visites 1275166