Using rewriting to synthesize functional languages to digital circuits

C.P.R. Baaij; Jan Kuper

doi:10.1007/978-3-642-45340-3_2

Using rewriting to synthesize functional languages to digital circuits

C.P.R. Baaij, Jan Kuper

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)

174 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 language	Undefined
Title of host publication	14th International Symposium Trends in Functional Programming, TFP 2013
Editors	Jay McCarthy
Place of Publication	Berlin
Publisher	Springer
Pages	17-33
Number of pages	17
ISBN (Print)	978-3-642-45339-7
DOIs	https://doi.org/10.1007/978-3-642-45340-3_2
Publication status	Published - 2014
Event	14th International Symposium Trends in Functional Programming, TFP 2013 - Provo, UT, USA Duration: 14 May 2013 → 16 May 2013

Publication series

Name	Lecture notes in computer science
Publisher	Springer Verlag
Volume	8322
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Symposium Trends in Functional Programming, TFP 2013
Period	14/05/13 → 16/05/13
Other	14-16 May 2013

Keywords

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

Access to Document

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

compiled

Cite this

@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 ; 14th International Symposium Trends in Functional Programming, TFP 2013 ; Conference date: 14-05-2013 Through 16-05-2013",

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",

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, Berlin, pp. 17-33, 14th International Symposium Trends in Functional Programming, TFP 2013, 14/05/13. https://doi.org/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, 2014. p. 17-33 (Lecture notes in computer science; Vol. 8322).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

A2 - McCarthy, Jay

PB - Springer

CY - Berlin

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

Y2 - 14 May 2013 through 16 May 2013

ER -