EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


23904 Using rewriting to synthesize functional languages to digital circuits
Home Policy Brochure Browse Search User Area Contact Help

Baaij, C.P.R. and Kuper, J. (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA. pp. 17-33. Lecture notes in computer science 8322. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45339-7

Full text available as:

PDF

341 Kb
Open Access



Official URL: http://dx.doi.org/10.1007/978-3-642-45340-3_2

Exported to Metis

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.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
Research Project:POLCA: Programming Large Scale Heterogeneous Infrastructures
ID Code:23904
Status:Published
Deposited On:28 January 2014
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item