| Abstract |
|
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.
|
 Additional Information
|
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
|
