Resource-Aware Programming ⋆ Invited Paper
Download:
|
|
by Walid Taha
http://www.cs.rice.edu/~taha/publications/conference/icess04B.ps
Add To MetaCart
Abstract:
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for designing a class of languages that we call Resource-aware Programming (RAP) languages. By taking into account the natural distinction between the development platform and the deployment platform for embedded software, RAP languages can alleviate the need for drastic trade-offs between expressive power and static guarantees. We describe our preliminary experience designing and programming in a RAP language for hardware design, and give a brief overview of directions for future work. 1
Citations
| 16 | A gentle introduction to multi-stage programming – Taha - 2003 |
| 11 | A methodology for generating verified combinatorial circuits – Kiselyov, Swadi, et al. - 2004 |
| 7 | Generating Imperative, HeapBounded Programs in a Functional Setting – Taha, Ellner, et al. - 2003 |
| 6 | Directions in functional programming for real(-time) applications – Taha, Hudak, et al. - 2001 |
| 4 | Relating FFTW and split radix – Kiselyov, Taha - 2004 |
