Feldspar is a domain specific programming language that allows programmers to easily implement correct and portable high-performance signal processing algorithms for embedded systems.