Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
A formally verified compiler for Lustre
PLDI, 2017.
@inproceedings{PLDI-2017-BourkeBDLPR,
author = "Timothy Bourke and Lélio Brun and Pierre-Évariste Dagand and Xavier Leroy and Marc Pouzet and Lionel Rieg",
booktitle = "{Proceedings of the 38th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3062341.3062358",
isbn = "978-1-4503-4988-8",
pages = "586--601",
publisher = "{ACM}",
title = "{A formally verified compiler for Lustre}",
year = 2017,
}