Numerical Accuracy Improvement by Interprocedural Program Transformation.
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Browse the full SCOPES paper archive.
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Browse the full SCOPES paper archive.