M. Armand, G. Faure, B. Grégoire, C. Keller, L. Théry et al., A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses, Certified Programs and Proofs, pp.135-150, 2011.
DOI : 10.1145/1217856.1217859
URL : https://hal.archives-ouvertes.fr/hal-00639130

K. Asanovic, R. Bodik, J. Demmel, T. Keaveny, K. Keutzer et al., A view of the parallel computing landscape, Communications of the ACM, vol.52, issue.10, pp.5256-67, 2009.
DOI : 10.1145/1562764.1562783

K. Barkati and P. Jouvelot, Synchronous programming in audio processing, ACM Computing Surveys, vol.46, issue.2, p.2014
DOI : 10.1145/2543581.2543591
URL : https://hal.archives-ouvertes.fr/hal-00751490

T. Bouton, D. Caminha-b-de-oliveira, D. Déharbe, and P. Fontaine, veriT: An Open, Trustable and Efficient SMT-Solver, Automated Deduction?CADE-22, pp.151-156, 2009.
DOI : 10.1007/978-3-540-73595-3_38
URL : https://hal.archives-ouvertes.fr/inria-00430634

S. Brunthaler, Why interpreters matter (at least for high level programming languages), 2012.

P. Cuoq, J. Signoles, P. Baudin, R. Bonichon, G. Canet et al., Experience report: Ocaml for an industrial-strength static analysis framework, Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP '09, pp.281-286, 2009.

C. Ellison and G. Rosu, An executable formal semantics of c with applications, Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '12, pp.533-544

P. Fontaine, J. Marion, S. Merz, L. P. Nieto, and A. Tiu, Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants, Tools and Algorithms for the Construction and Analysis of Systems, pp.167-181, 2006.
DOI : 10.1007/3-540-45620-1_26
URL : https://hal.archives-ouvertes.fr/inria-00001088

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, 1994.

D. Ghosh, DSLs in Action, 2010.

D. Andrew, C. Gordon, and . Fournet, Principles and applications of refinement types. Logics and Languages for Reliability and Security, pp.73-104, 2010.

P. Guillou, Portage et optimisation d'applications de traitement d'images sur architecture many-core, 2013.

C. A. Herrmann and T. Langhammer, Combining partial evaluation and staged interpretation in the implementation of domain-specific languages, Science of Computer Programming, vol.62, issue.1, pp.47-65, 2004.
DOI : 10.1016/j.scico.2006.02.002

J. Hsieh, S. Yu, and Y. Chen, Morphology-based license plate detection from complex scenes, Pattern Recognition Proceedings. 16th International Conference on, pp.176-179, 2002.

P. Hudak, Building domain-specific embedded languages, ACM Computing Surveys, vol.28, issue.4es, p.196, 1996.
DOI : 10.1145/242224.242477

P. Jouvelot, ML: Un langage de maquettage ?, AFCET Workshop on New Languages for Software Engineering, 1985.

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

C. Quang-huy-nguyen, . Kirchner, and . Kirchner, External rewriting for skeptical proof assistants, Journal of Automated Reasoning, vol.29, issue.3/4, pp.309-336, 2002.
DOI : 10.1023/A:1021975117537

Y. Orlarey, D. Fober, and S. Letz, An algebra for block diagram languages, Proceedings of International Computer Music Conference, pp.542-547, 2002.

Y. Orlarey, D. Fober, and S. Letz, Faust: an efficient functional approach to DSP programming. New Computational Paradigms for Computer Music, 2009.

A. Ortiz, Language design and implementation using ruby and the interpreter pattern, ACM SIGCSE Bulletin, vol.40, issue.1, pp.48-52, 2008.
DOI : 10.1145/1352322.1352155

D. Rémy, Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa, Applied Semantics, pp.413-536, 2002.
DOI : 10.1007/3-540-45699-6_9

M. Patrick, M. Rondon, R. Kawaguci, and . Jhala, Liquid types, Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '08, pp.159-169, 2008.

J. Serra and P. Soille, Mathematical morphology and its applications to image processing. Computational Imaging and Vision, 1994.

L. Guy, . Steele, J. Gerald, and . Sussman, The art of the interpreter or, the modularity complex (parts zero, one, and two), 1978.