3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Pierre-Loïc Garoche, Basile Pesin
Lustre is a synchronous dataflow language designed to implement safety-critical embedded software. In addition to writing executable programs, the language doubles as a program log…