Flask: staged functional programming for sensor networks Export

@article{citeulike:3481684, abstract = {Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful abstraction facilities at our fingertips, but how can we make use of these tools on a device with an 8- or 16-bit CPU and at most tens of kilobytes of RAM? Motivated by this challenge, we have developed Flask, a domain specific language embedded in Haskell that brings the power of functional programming to sensor networks, collections of highly resource-constrained devices. Flask consists of a staging mechanism that cleanly separates node-level code from the meta-language used to generate node-level code fragments; syntactic support for embedding standard sensor network code; a restricted subset of Haskell that runs on sensor networks and constrains program space and time consumption; a higher-level "data stream" combinator library for quickly constructing sensor network programs; and an extensible runtime that provides commonly-used services.}, address = {New York, NY, USA}, author = {Mainland, Geoffrey and Morrisett, Greg and Welsh, Matt}, citeulike-article-id = {3481684}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1411203.1411251}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1411203.1411251}, doi = {10.1145/1411203.1411251}, issn = {0362-1340}, journal = {SIGPLAN Not.}, keywords = {domainspecific, embedded, embeddedlanguage, functionalprogramming, haskell}, number = {9}, pages = {335--346}, posted-at = {2008-12-25 12:55:51}, priority = {0}, publisher = {ACM}, title = {Flask: staged functional programming for sensor networks}, url = {http://dx.doi.org/10.1145/1411203.1411251}, volume = {43}, year = {2008} }

TY - JOUR ID - citeulike:3481684 L3 - citeulike-article-id:3481684 N2 - Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful abstraction facilities at our fingertips, but how can we make use of these tools on a device with an 8- or 16-bit CPU and at most tens of kilobytes of RAM? Motivated by this challenge, we have developed Flask, a domain specific language embedded in Haskell that brings the power of functional programming to sensor networks, collections of highly resource-constrained devices. Flask consists of a staging mechanism that cleanly separates node-level code from the meta-language used to generate node-level code fragments; syntactic support for embedding standard sensor network code; a restricted subset of Haskell that runs on sensor networks and constrains program space and time consumption; a higher-level "data stream" combinator library for quickly constructing sensor network programs; and an extensible runtime that provides commonly-used services. IS - 9 JF - SIGPLAN Not. SN - 0362-1340 AD - New York, NY, USA EP - 346 TI - Flask: staged functional programming for sensor networks PB - ACM VL - 43 SP - 335 KW - domainspecific KW - embedded KW - embeddedlanguage KW - functionalprogramming KW - haskell AU - Mainland, Geoffrey AU - Morrisett, Greg AU - Welsh, Matt PY - 2008/// UR - http://dx.doi.org/10.1145/1411203.1411251 ER -