Building Compilers by Combining Algebras

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.

• Type: Conference
• Year: 2005
• Where: ECBS
• Authors: Garrin Kimmell, Ed Komp, Perry Alexander
• Keywords: ECBS 2005, Embedded Systems, Hardware, Modular Monadic Semantics, Present Significant Problems