Intra-procedural Optimization of the Numerical Accuracy of Programs.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Browse the full FMICS paper archive.