Login / Signup

Intra-procedural Optimization of the Numerical Accuracy of Programs.

Nasrine DamoucheMatthieu MartelAlexandre Chapoutot
Published in: FMICS (2015)
Keyphrases