A. Ieee, IEEE Standard for Binary Floating-point Arithmetic, std 754, 2008.

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace 2010, pp.20-22, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

D. Boland and G. A. Constantinides, A scalable approach for automated precision analysis, Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays, FPGA '12, pp.185-194, 2012.
DOI : 10.1145/2145694.2145726

O. Bouissou and M. Martel, Abstract Interpretation of the Physical Inputs of Embedded Programs, VMCAI, pp.37-51, 2008.
DOI : 10.1007/978-3-540-78163-9_8

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A declarative language for programming synchronous systems, POPL, pp.178-188, 1987.

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points, Principles of Programming Languages 4, pp.238-252, 1977.

P. Cousot and R. Cousot, Systematic design of program transformation frameworks by abstract interpretation, Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.178-190, 2002.

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal et al., Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, Formal Methods for Industrial Critical Systems, 14th International Workshop, p.9, 2009.
DOI : 10.1007/978-3-642-04570-7_6

E. Goubault, M. Martel, and S. Putot, Static analysis-based validation of floating-point computations, Numerical Software with Result Verification, number 2991, 2004.

E. Goubault and S. Putot, Static Analysis of Finite Precision Computations, VMCAI'11, number 6538 in LNCS, pp.232-247, 2011.
DOI : 10.1007/978-3-540-24738-8_18

N. Halbwachs, Synchronous programming of reactive systems, Kluwer Academic Pub, 1993.

N. J. Higham, Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, 2002.
DOI : 10.1137/1.9780898718027

P. Langlois, M. Martel, and L. Thévenoux, Accuracy versus time, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, PASCO '10, pp.121-130, 2010.
DOI : 10.1145/1837210.1837229
URL : https://hal.archives-ouvertes.fr/hal-00477511

M. Martel, Semantics of roundoff error propagation in finite precision calculations, Higher-Order and Symbolic Computation, vol.35, issue.3, pp.7-30, 2006.
DOI : 10.1007/s10990-006-8608-2

M. Martel, Semantics-Based Transformation of Arithmetic Expressions, Static Analysis Symposium, SAS'07, number 4634 in LNCS, 2007.
DOI : 10.1007/978-3-540-74061-2_19

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

D. Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, 2008.
DOI : 10.1145/1353445.1353446
URL : https://hal.archives-ouvertes.fr/hal-00128124

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

J. Muller, On the definition of ulp(x), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070503

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

K. Parashar, R. Rocher, D. Menard, and O. Sentieys, A Hierarchical Methodology for Word-Length Optimization of Signal Processing Systems, 2010 23rd International Conference on VLSI Design, pp.318-323, 2010.
DOI : 10.1109/VLSI.Design.2010.66
URL : https://hal.archives-ouvertes.fr/inria-00432590

F. S. Roberts and B. A. Tesman, Applied combinatorics, 2005.

R. Tate, M. Stepp, Z. Tatlock, and S. Lerner, Equality saturation: A new approach to optimization, POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pp.264-276, 2009.

R. Tate, M. Stepp, Z. Tatlock, and S. Lerner, Equality saturation: A new approach to optimization, Logical Methods in Computer Science, vol.7, issue.1, 2011.

S. Touati and D. Barthou, On the decidability of phase ordering problem in optimizing compilation, Proceedings of the 3rd conference on Computing frontiers , CF '06, pp.147-156, 2006.
DOI : 10.1145/1128022.1128042
URL : https://hal.archives-ouvertes.fr/hal-00141063