C. Mouilleron, Efficient computation with structured matrices and arithmetic expressions, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00688388

B. Lopez, T. Hilaire, and L. Didier, Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation, Conf. on Design and Architectures for Signal and Image Processing (DASIP), 2012.
URL : https://hal.archives-ouvertes.fr/hal-01076043

M. Martel, Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics, Journal of Formal Methods in System Design, pp.265-278, 2009.
DOI : 10.1007/s10703-009-0068-y

M. Martel, Program transformation for numerical precision, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM '09, 2009.
DOI : 10.1145/1480945.1480960

D. Menard, D. Chillet, and O. Sentieys, Floating-to-Fixed-Point Conversion for Digital Signal Processors, EURASIP Journal on Applied Signal Processing, pp.1-15, 2006.
DOI : 10.1155/ASP/2006/96421

URL : https://hal.archives-ouvertes.fr/inria-00459212

D. Lee and J. D. Villasenor, Optimized Custom Precision Function Evaluation for Embedded Processors, IEEE Transactions on Computers, vol.58, issue.1, pp.46-59, 2009.
DOI : 10.1109/TC.2008.124

S. Boldo, Preuves formelles en arithmétiquesarithmétiques`arithmétiquesà virgule flottante, 2004.

J. Harrison, T. Kubaska, S. Story, and P. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2003, 1999.

R. Green, Faster Math Functions, Tutorial at Game Developers Conference, 2002.

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic, 2011.
DOI : 10.1109/ARITH.2011.39

URL : https://hal.archives-ouvertes.fr/ensl-00531721

Y. Voronenko and M. Püschel, Automatic generation of implementations for DSP transforms on fused multiply-add architectures, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, p.101, 2004.
DOI : 10.1109/ICASSP.2004.1327057

Y. Voronenko and M. Püschel, Mechanical Derivation of Fused Multiply–Add Algorithms for Linear Transforms, IEEE Transactions on Signal Processing, vol.55, issue.9, pp.4458-4473, 2007.
DOI : 10.1109/TSP.2007.896116

G. Revy, Implementation of binary floating-point arithmetic on embedded integer processors -polynomial evaluation-based algorithms and certified code generation, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00469661

G. Melquiond, De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes, 2006.

R. Yates, Fixed-Point Arithmetic: An Introduction, Digital Signal Labs, 2009.

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.275-290, 2005.
DOI : 10.1007/s11155-005-6891-y

URL : https://hal.archives-ouvertes.fr/inria-00544998

A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: principles, techniques and tools, 1986.

D. R. Koes and S. C. Goldstein, Near-optimal instruction selection on dags, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08
DOI : 10.1145/1356058.1356065

C. Lauter, Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008.