• DocumentCode
    2843237
  • 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
  • fYear
    2005
  • fDate
    4-7 April 2005
  • Firstpage
    331
  • Lastpage
    338
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
  • Print_ISBN
    0-7695-2308-0
  • Type

    conf

  • DOI
    10.1109/ECBS.2005.23
  • Filename
    1409933
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2843237