Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Browse the full SAS paper archive.