Using rewriting to synthesize functional languages to digital circuits

C.P.R. Baaij, Jan Kuper

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    53 Downloads (Pure)

    Abstract

    A straightforward synthesis from functional languages to digital circuits transforms variables to wires. The types of these variables determine the bit-width of the wires. Assigning a bit-width to polymorphic and function-type variables within this direct synthesis scheme is impossible. Using a term rewrite system, polymorphic and function-type binders can be completely eliminated from a circuit description, given only minor and reasonable restrictions on the input. The presented term rewrite system is used in the compiler for C\ensuremath{\lambda}aSH: a polymorphic, higher-order, functional hardware description language.
    Original languageUndefined
    Title of host publication14th International Symposium Trends in Functional Programming, TFP 2013
    EditorsJay McCarthy
    Place of PublicationBerlin
    PublisherSpringer
    Pages17-33
    Number of pages17
    ISBN (Print)978-3-642-45339-7
    DOIs
    Publication statusPublished - 2014

    Publication series

    NameLecture notes in computer science
    PublisherSpringer Verlag
    Volume8322
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • EWI-23904
    • IR-89215
    • METIS-305851
    • EC Grant Agreement nr.: FP7/610686

    Cite this

    Baaij, C. P. R., & Kuper, J. (2014). Using rewriting to synthesize functional languages to digital circuits. In J. McCarthy (Ed.), 14th International Symposium Trends in Functional Programming, TFP 2013 (pp. 17-33). (Lecture notes in computer science; Vol. 8322). Berlin: Springer. https://doi.org/10.1007/978-3-642-45340-3_2