The design and implementation of feldspar an embedded language for digital signal processing

Authors:
Emil Axelsson;Koen Claessen;Mary Sheeran;Josef Svenningsson;David Engdal;Anders Persson
Affiliations:
Chalmers University of Technology;Chalmers University of Technology;Chalmers University of Technology;Chalmers University of Technology;Ericsson;Chalmers University of Technology and Ericsson
Venue:
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Year:
2010

Citing 6
Cited 13

Observable Sharing for Functional Circuit Description

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Single Assignment C: efficient support for high-level array operations in a functional setting

Journal of Functional Programming
Compiling embedded languages

Journal of Functional Programming
Complete and decidable type inference for GADTs

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Journal of Functional Programming
Regular, shape-polymorphic, parallel arrays in Haskell

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Expressive array constructs in an embedded GPU kernel programming language

DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Feldspar: application and implementation

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Experience report: a do-it-yourself high-assurance compiler

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Deconstraining DSLs

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Processor design using a functional hardware description language

Microprocessors & Microsystems
Generic monadic constructs for embedded languages

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
A practical theory of language-integrated query

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Using circular programs for higher-order syntax: functional pearl

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
An EDSL approach to high performance Haskell programming

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Industrial experiences from multi-paradigmatic modelling of signal processing

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Forge: generating a high performance DSL implementation from a declarative specification

Proceedings of the 12th international conference on Generative programming: concepts & experiences
Composition and reuse with compiled domain-specific languages

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Synchronous digital circuits as functional programs

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Feldspar is a domain specific language, embedded in Haskell, for programming digital signal processing algorithms. The final aim of a Feldspar program is to generate low level code with good performance. Still, we chose to provide the user with a purely functional DSL. The language is implemented as a minimal, deeply embedded core language, with shallow extensions built upon it. This paper presents full details of the essential parts of the implementation. Our initial conclusion is that this approach works well in our domain, although much work remains.