Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

Matthieu Journault, Antoine Min

Browse the full SAS paper archive.