An Abstract Domain to Infer Types over Zones in Spreadsheets.

Tie Cheng, Xavier Rival

Browse the full SAS paper archive.