Publications Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs Matthieu Journault Antoine Miné PDF DOI