Describes Learn-Heptagon, a web application for writing, simulating, and verifying Lustre programs, together with the lesson plan used to teach it to engineering students.
A Synchronous-based Code Generator for Explicit Hybrid Systems Languages , booktitle = cc2015, year = 2015, pages =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Teaching Synchronous Dataflow Modelling with Learn-Heptagon
Describes Learn-Heptagon, a web application for writing, simulating, and verifying Lustre programs, together with the lesson plan used to teach it to engineering students.