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