Specifying and verifying sparse matrix codes.

Gilad Arnold, Johannes Hlzl, Ali Sinan Kksal, Rastislav Bodk, Mooly Sagiv

Browse the full ICFP paper archive.