Publications Compositional static value analysis for higher-order numerical programs Compositional static value analysis for higher-order numerical programs Milla Valnet Raphaël Monat Antoine Miné PDF DOI