ExceLint: automatically finding spreadsheet formula errors

Spreadsheets are one of the most widely used programming environments, and are widely deployed in domains like finance where errors can have catastrophic consequences. We present a static analysis ...