Embedded systems demand concurrency for supporting simultaneous actions in their environment and parallel hardware. Although most concurrent programming formalisms are prone to races and nondeterminism, some, such as our shim (software/hardware integration medium) language, avoid them by design. In particular, the behavior of shim programs is scheduling-independent, meaning the I/O behavior of ...

Computational monads offer a powerful way to parameterize functional specifications, but they give rise to exceedingly tedious simplifications to instantiate this “monadic” interpreter. We report on the use of partial evaluation to achieve the following instantiations automatically. • We derive equivalent formulations of the monadic λ-interpreter, based on equivalent specifications of monads fr...