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.
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 , editor =
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.