Using rewriting to synthesize functional languages to digital circuits

C.P.R. Baaij, Jan Kuper

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 6 Citations

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.
LanguageUndefined
Title of host publication14th International Symposium Trends in Functional Programming, TFP 2013
EditorsJay McCarthy
Place of PublicationBerlin
PublisherSpringer Verlag
Pages17-33
Number of pages17
ISBN (Print)978-3-642-45339-7
DOIs
StatePublished - 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 Verlag. DOI: 10.1007/978-3-642-45340-3_2
Baaij, C.P.R. ; Kuper, Jan. / Using rewriting to synthesize functional languages to digital circuits. 14th International Symposium Trends in Functional Programming, TFP 2013. editor / Jay McCarthy. Berlin : Springer Verlag, 2014. pp. 17-33 (Lecture notes in computer science).
@inproceedings{4683af121f174716b41535d1d4613d3b,
title = "Using rewriting to synthesize functional languages to digital circuits",
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.",
keywords = "EWI-23904, IR-89215, METIS-305851, EC Grant Agreement nr.: FP7/610686",
author = "C.P.R. Baaij and Jan Kuper",
note = "eemcs-eprint-23904",
year = "2014",
doi = "10.1007/978-3-642-45340-3_2",
language = "Undefined",
isbn = "978-3-642-45339-7",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "17--33",
editor = "Jay McCarthy",
booktitle = "14th International Symposium Trends in Functional Programming, TFP 2013",
address = "Germany",

}

Baaij, CPR & 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. Lecture notes in computer science, vol. 8322, Springer Verlag, Berlin, pp. 17-33. DOI: 10.1007/978-3-642-45340-3_2

Using rewriting to synthesize functional languages to digital circuits. / Baaij, C.P.R.; Kuper, Jan.

14th International Symposium Trends in Functional Programming, TFP 2013. ed. / Jay McCarthy. Berlin : Springer Verlag, 2014. p. 17-33 (Lecture notes in computer science; Vol. 8322).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Using rewriting to synthesize functional languages to digital circuits

AU - Baaij,C.P.R.

AU - Kuper,Jan

N1 - eemcs-eprint-23904

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - EWI-23904

KW - IR-89215

KW - METIS-305851

KW - EC Grant Agreement nr.: FP7/610686

U2 - 10.1007/978-3-642-45340-3_2

DO - 10.1007/978-3-642-45340-3_2

M3 - Conference contribution

SN - 978-3-642-45339-7

T3 - Lecture notes in computer science

SP - 17

EP - 33

BT - 14th International Symposium Trends in Functional Programming, TFP 2013

PB - Springer Verlag

CY - Berlin

ER -

Baaij CPR, Kuper J. Using rewriting to synthesize functional languages to digital circuits. In McCarthy J, editor, 14th International Symposium Trends in Functional Programming, TFP 2013. Berlin: Springer Verlag. 2014. p. 17-33. (Lecture notes in computer science). Available from, DOI: 10.1007/978-3-642-45340-3_2