K. Barkati, H. Wang, and P. Jouvelot, Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing, Functional and Logic Programming -12th International Symposium, FLOPS 2014 Proceedings, pp.69-85, 2014.
DOI : 10.1007/978-3-319-07151-0_5
URL : https://hal.archives-ouvertes.fr/hal-00959351

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development . Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

A. Brunel, M. Gaboardi, D. Mazza, and S. Zdancewic, A Core Quantitative Coeffect Calculus, Programming Languages and Systems, pp.351-370, 2014.
DOI : 10.1007/978-3-642-54833-8_19

S. Chaudhuri, S. Gulwani, and R. Lublinerman, Continuity and robustness of programs, Communications of the ACM, vol.55, issue.8, pp.107-115, 2012.
DOI : 10.1145/2240236.2240262

M. Dénès, A. Mörtberg, and V. Siles, A Refinement-Based Approach to Computational Algebra in Coq, ITP -3rd International Conference on Interactive Theorem Proving -2012, pp.83-98, 2012.
DOI : 10.1007/978-3-642-32347-8_7

S. Denoux and S. Letz, Yann Orlarey, and Dominique Fober. 2014. FAUSTLIVE, Just-In-Time Faust Compiler... and much more, Linux Audio Conference

N. Ghafari, R. Kumar, J. Joyce, B. Dehning, and C. Zamantzas, Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study, Proceedings of the 16th International Conference on Formal Methods for Industrial Critical Systems, pp.212-227, 2011.
DOI : 10.1007/978-3-642-24431-5_16

G. Gonthier, A. Mahboubi, and E. Tassi, A Small Scale Reflection Extension for the Coq system, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00258384

P. Jouvelot and Y. Orlarey, Dependent vector types for data structuring in multirate Faust, Computer Languages, Systems & Structures, vol.37, issue.3, pp.113-131, 2011.
DOI : 10.1016/j.cl.2011.03.001
URL : https://hal.archives-ouvertes.fr/hal-00628564

R. Neelakantan and . Krishnaswami, Higherorder functional reactive programming without spacetime leaks, ACM SIGPLAN International Conference on Functional Programming , ICFP'13, pp.221-232, 2013.

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814
URL : https://hal.archives-ouvertes.fr/inria-00415861

Y. Orlarey, D. Fober, and S. Letz, Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004.
DOI : 10.1007/s00500-004-0388-1

A. Souari, A. Gawanmeh, S. Tahar, and M. L. Ammari, Design and verification of a frequency domain equalizer, Microelectronics Journal, vol.45, issue.2, pp.167-178, 2014.
DOI : 10.1016/j.mejo.2013.10.012