The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations