The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
Why do you think that https://github.com/GaloisInc/why3 is a good alternative to feldspar-language
The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
Why do you think that https://github.com/GaloisInc/why3 is a good alternative to feldspar-language