Building compilers by combining algebras Export

@inproceedings{citeulike:319401, 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.}, author = {Kimmell, G. and Komp, E. and Alexander, P.}, citeulike-article-id = {319401}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1409933}, journal = {Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the}, keywords = {dsl, embedded-systems, functional-programming, monads, verification}, pages = {331--338}, posted-at = {2005-09-14 07:59:07}, priority = {2}, title = {Building compilers by combining algebras}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1409933}, year = {2005} }

TY - CONF ID - citeulike:319401 L3 - citeulike-article-id:319401 N2 - 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. JF - Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the EP - 338 TI - Building compilers by combining algebras SP - 331 KW - dsl KW - embedded-systems KW - functional-programming KW - monads KW - verification AU - Kimmell, G AU - Komp, E AU - Alexander, P PY - 2005/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1409933 ER -