@inproceedings{87ee060eb9284da298346a01786fcfab,
title = "Towards a verified Lustre compiler with modular reset",
abstract = "This paper presents ongoing work to add a modular reset construct to a verified Lustre compiler. We present a novel formal specification for the construct and sketch our plans to integrate it into the compiler and its correctness proof.",
keywords = "Synchronous Languages (Lustre), Verified Compilation",
author = "Timothy Bourke and L{\'e}lio Brun and Marc Pouzet",
note = "Publisher Copyright: {\textcopyright} 2018 Copyright held by the owner/author(s); 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 ; Conference date: 28-05-2018 Through 30-05-2018",
year = "2018",
month = may,
day = "28",
doi = "10.1145/3207719.3207732",
language = "English",
isbn = "9781450357807",
series = "Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018",
publisher = "Association for Computing Machinery, Inc",
pages = "14--17",
editor = "Sander Stuijk",
booktitle = "Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018",
}