2 papers
cs.PL2025
Compiling the Mimosa programming language to RTOS tasks
Nikolaus Huber, Susanne Graf, Philipp Rümmer +1
This paper introduces a compilation scheme for programs written in the Mimosa programming language, which builds upon the MIMOS model of computation. Mimosa describes embedded syst…
cs.PL2025
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Nikolaus Huber, Susanne Graf, Philipp Rümmer +1
This paper introduces the Mimosa language, a programming language for the design and implementation of asynchronous reactive systems, describing them as a collection of time-trigge…