The design and implementation of Feldspar: An embedded language for digital signal processing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6647 LNCS, Issue , 2011, Pages 121-136

  Axelsson, Emil ^a   Claessen, Koen ^a   Sheeran, Mary ^a   Svenningsson, Josef ^a   Engdal, David ^b   Persson, Anders ^a,b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b ERICSSON RESEARCH   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL SIGNAL PROCESSING ALGORITHMS; DOMAIN SPECIFIC LANGUAGES; EMBEDDED CORES; EMBEDDED LANGUAGES; HASKELL; LOW LEVEL; SHALLOW EXTENSION;

DIGITAL SIGNAL PROCESSING; DSL; MODEMS;

FELDSPAR;

EID: 80054098941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24276-2_8     Document Type: Conference Paper

References (11)

1. Axelsson, E., Dévai, G., Horváth, Z., Keijzer, K., Lyckegård, B., Persson, A., Sheeran, M., Svenningsson, J., Vajda, A.: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. In: Proc. 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, IEEE, Los Alamitos (2010)
2. Carette, J., Kiselyov, O., Shan, C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Func. Prog. 19(05) (2009)
3. Claessen, K., Sands, D.: Observable sharing for functional circuit description. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol. 1742, p. 62. Springer, Heidelberg (1999)
4. Elliott, C., Finne, S., de Moor, O.: Compiling embedded languages. J. Func. Prog. 13(3), 455-481 (2003)
5. Feldspar: http://feldspar.inf.elte.hu/feldspar/
6. Keller, G., Chakravarty, M., Leshchinskiy, R., Jones, S.P., Lippmeier, B.: Regular, shape-polymorphic, parallel arrays in Haskell. In: Proc. 15th ACM SIGPLAN international conference on Functional programming, pp. 261-272. ACM, New York (2010)
7. Martin, G., Zarrinkoub, H.: From MATLAB to Embedded C, The Mathworks (2009), http://www.mathworks.com/company/newsletters/ news notes/2009/matlab- embedded-c.html
8. Püschel, M., Moura, J.M.F., Johnson, J., Padua, D., Veloso, M., Singer, B., Xiong, J., Franchetti, F., Gacic, A., Voronenko, Y., Chen, K., Johnson, R.W., Rizzolo, N.: SPIRAL: Code generation for DSP transforms. Proc. IEEE 93(2) (2005)
9. Scholz, S.: Single Assignment C: efficient support for high-level array operations in a functional setting. J. Func. Prog. 13(06), 1005-1059 (2003)
10. Schrijvers, T., Peyton Jones, S., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: Proc. 14th ACM SIGPLAN international conference on Functional programming, pp. 341-352. ACM, New York (2009)
11. Svensson, J., Sheeran, M., Claessen, K.: GPGPU Kernel Implementation and Refinement using Obsidian. In: Proc. Seventh International Workshop on Practical Aspects of High-level Parallel Programming. ICCS, Procedia (2010)