A. W. Appel, Modern Compiler Implementation: In ML, 1998.
DOI : 10.1017/CBO9780511811449

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

S. Graillat, P. Langlois, and N. Louvet, Algorithms for accurate, validated and fast polynomial evaluation, Japan Journal of Industrial and Applied Mathematics, vol.31, issue.2-3, pp.191-214, 2009.
DOI : 10.1007/BF03186531
URL : https://hal.archives-ouvertes.fr/hal-00285603

P. Langlois, M. Martel, and L. Thévenoux, Automatic code transformation to optimize accuracy and speed in floating-point arithmetic, SCAN 2012 ? 15th GAMM-IMACS International Symposium on Scientific Computing, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00821667

J. R. Shewchuk, Adaptive precision floating-point arithmetic and fast robust geometric predicates, pp.305-363, 1997.

L. Thévenoux, Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754 URL: https://tel.archives-ouvertes, p.1143824, 2014.

L. Thévenoux, P. Langlois, and M. Martel, Automatic source-to-source error compensation of floatingpoint programs URL: https, Computational Science and Engineering, 2015.