A formally verified compiler for Lustre.

Timothy Bourke Lélio Brun Pierre-Évariste Dagand Xavier Leroy Marc Pouzet Lionel Rieg

Published in: PLDI (2017)

Keyphrases

programming language
general purpose
distributed memory machines
real time
data sets
level parallelism
case study
bayesian networks
evolutionary algorithm
software systems