2 papers
cs.PL2026
Teaching Synchronous Dataflow Modelling with Learn-Heptagon
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…
cs.PL2025
Reactive Semantics for User Interface Description Languages
Basile Pesin, Celia Picard, Cyril Allignol
User Interface Description Languages (UIDLs) are high-level languages that facilitate the development of Human-Machine Interfaces, such as Graphical User Interface (GUI) applicatio…