Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargeting new architectures all present significant problems when developing a compiler for embedded systems. In this paper we present a domain-specific language based on modular monadic semantics which addresses many of these challenges.
Citation:
Garrin Kimmell, Ed Komp, Perry Alexander, "Building Compilers by Combining Algebras," ecbs, pp.331-338, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005