Runtime Abstract Interpretation for Numerical Accuracy and Robustness.

Franck Vdrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles

Browse the full VMCAI paper archive.