Building embedded systems with embedded DSLs

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2014, Pages 3-9

  Hickey, Patrick C ^a   Pike, Lee ^a   Elliott, Trevor ^a   Bielman, James ^a   Launchbury, John ^a  

^a Galois Inc   (United States)

Author keywords

embedded domain specific languages; embedded systems

Indexed keywords

EID: 84907008145     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2628136.2628146     Document Type: Conference Paper

References (20)

1. APM Project. APM multiplatform autopilot suite. Website http://ardupilot.com/. Retrieved Feb. 2014.
2. E. Axelsson, K. Claessen, M. Sheeran, J. Svenningsson, D. Engdal, and A. Persson. The design and implementation of Feldspar - an embedded language for digital signal processing. In Implementation and Application of Functional Languages, volume 6647 of LNCS, pages 121-136. Springer, 2011.
3. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, pages 168-176. Springer, 2004.
4. I. S. Diatchki and M. P. Jones. Strongly typed memory areas programming systems-level data structures in a functional language. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 72-83. ACM, 2006.
5. I. S. Diatchki, M. P. Jones, and R. Leslie. High-level views on lowlevel representations. In Intl. Conference on Functional Programming, pages 168-179. ACM, 2005.
6. eChronos. eChronos. Website http://ssrg.nicta.com.au/projects/TS/ echronos. Retrieved Feb. 2014.
7. FreeRTOS. FreeRTOS.Website http://freertos.org/. Retrieved Feb. 2014.
8. T. Hawkins. Controlling hybrid vehicles with Haskell. Presentation. Commercial Users of Functional Programming (CUFP), 2008. Available at http://cufp.galois.com/2008/schedule.html.
9. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Conference, Berkeley, CA, USA, 2002. USENIX.
10. J. Launchbury and S. L. Peyton Jones. Lazy functional state threads. pages 24-35, June 1994.
11. X. Leroy. Formal verification of a realistic compiler. Communications of the ACM, 52(7):107-115, 2009.
12. S. Lindley and C. McBride. Hasochism: The pleasure and pain of dependently typed haskell programming. In Symposium on Haskell, pages 81-92. ACM, 2013.
13. L. Pike, A. Goodloe, R. Morisset, and S. Niller. Copilot: A hard realtime runtime monitor. In Runtime Verification (RV), volume 6418, pages 345-359. Springer, 2010.
14. L. Pike, N. Wegmann, S. Niller, and A. Goodloe. Experience report: a do-it-yourself high-assurance compiler. In Proceedings of the Intl. Conference on Functional Programming (ICFP). ACM, September 2012.
15. Pixhawk. PX4 autopilot project. Website http://pixhawk.org/. Retrieved Feb. 2014.
16. Rust. Rust. Website http://www.rust-lang.org/. Retrieved Feb. 2014.
17. SAE-AS5506. Architecture Analysis and Design Language. SAE, Nov 2004.
18. T. Schrijvers, S. Peyton Jones, M. Chakravarty, and M. Sulzmann. Type checking with open type functions. Intl. Conference on Functional Programming, pages 51-62, Sept. 2008. ISSN 0362-1340.
19. T. Sheard and S. P. Jones. Template meta-programming for haskell. SIGPLAN Notices, 37(12):60-75, Dec. 2002.
20. B. A. Yorgey, S.Weirich, J. Cretin, S. Peyton Jones, D. Vytiniotis, and J. P. Magalhães. Giving haskell a promotion. In Workshop on Types in Language Design and Implementation, pages 53-66. ACM, 2012.