Title :
Building compilers by combining algebras
Author :
Kimmell, Garrin ; Komp, Ed ; Alexander, Perry
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Kansas Univ., Lawrence, KS, USA
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.
Keywords :
embedded systems; process algebra; program compilers; program verification; programming language semantics; specification languages; domain-specific language; embedded systems; modular monadic semantics; program compiler; Algebra; Computer architecture; Computer languages; Conferences; Domain specific languages; Embedded system; Field programmable gate arrays; Hardware; Systems engineering and theory;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.23
