Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Hardware in Haskell: Implementing Memories in a Stream-Based World |
| Συγγραφείς: |
Townsend, Richard Morse, Kim, Martha Allen, Edwards, Stephen A. |
| Στοιχεία εκδότη: |
Department of Computer Science, Columbia University |
| Έτος έκδοσης: |
2015 |
| Συλλογή: |
Columbia University: Academic Commons |
| Θεματικοί όροι: |
Computers, Memory--Computer programs, Haskell (Computer program language), Computer science |
| Περιγραφή: |
Recursive functions and data types pose significant challenges for a Haskell-to-hardware compiler. Directly translating these structures yields infinitely large circuits; a subtler approach is required. We propose a sequence of abstraction-lowering transformations that exposes time and memory in a Haskell program, producing a simpler form for hardware translation. This paper outlines these transformations on a specific example; future research will focus on generalizing and automating them in our group's compiler. |
| Τύπος εγγράφου: |
report |
| Γλώσσα: |
English |
| Relation: |
https://doi.org/10.7916/D8959H05 |
| DOI: |
10.7916/D8959H05 |
| Διαθεσιμότητα: |
https://doi.org/10.7916/D8959H05 |
| Αριθμός Καταχώρησης: |
edsbas.59478E8B |
| Βάση Δεδομένων: |
BASE |