Report
Hardware in Haskell: Implementing Memories in a Stream-Based World
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!