A formally verified compiler for Lustre.

Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

Browse the full PLDI paper archive.