Compositional Static Value Analysis for Higher-Order Numerical Programs.

Milla Valnet, Raphal Monat, Antoine Min

Browse the full ECOOP paper archive.