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

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points, Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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.

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 (FMICS'12), pp.53-69, 2009.
DOI : 10.1007/978-3-642-04570-7_6

M. Graphics, Algorithmic C Datatypes, software version 2, 2011.

A. Ioualalen and M. Martel, A New Abstract Domain for the Representation of Mathematically Equivalent Expressions, Static Analysis Symposium (SAS'12), pp.75-93, 2012.
DOI : 10.1007/978-3-642-33125-1_8
URL : https://hal.archives-ouvertes.fr/hal-00698618

A. Ioualalen and M. Martel, Sardana: an automatic tool for numerical accuracy optimization, 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN'12), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00698619

D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot et al., Astrée: Proving the absence of runtime errors, Embedded Real Time Software and Systems, 2010.

F. Logozzo, Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation, Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), pp.19-22, 2011.
DOI : 10.1007/978-3-540-78791-4_14

F. Logozzo and T. Ball, Modular and verified automatic program repair, Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12, 2012.
DOI : 10.1145/2384616.2384626

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

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

R. Tate, M. Stepp, Z. Tatlock, and S. Lerner, Equality saturation: A new approach to optimization, Proceedings of the 36th 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.