An Equivalence Checking Framework for Array-Intensive Programs.

Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar

Browse the full ATVA paper archive.